Confidence in Confinement: An Axiom-Free, Mechanized Verification [pdf] #1 Post by nwf » Wed, Jul 13, 2016, 12:33 AM UTC Confidence in Confinement: An Axiom-Free, Mechanized Verification [pdf]doerrie.us