Confidence in Confinement: An Axiom-Free, Mechanized Verification [pdf]

No comments yet.