All Notes Repos

Search Ctrl + K

Enter your search text in the box above

Select a result to preview

Enter to select

⇅ to navigate

ESC to close

Oliver Pryce

I'm doing research to make engineered physical systems formally verifiable.