Hacker News new | ask | show | jobs
by beanjuiceII 218 days ago
(partially) formally verified says right on the page https://ironclad-os.org/formalverification.html