conf.researchr.org / Nick Spinale
Not registered as user yet
Name:Nick Spinale
Affiliation:Arm Research
Contributions
| PriSC 2022 | Author of The Supervisionary proof-checking kernel, or: a work-in-progress toward proof-generating code within the PriSC 2022-track |