Hacker News new | ask | show | jobs
Confidence in Confinement: An Axiom-Free, Mechanized Verification [pdf] (doerrie.us)
1 points by nwf 3631 days ago