Mark Adams (unregistered)
My company develops software for creating and checking proofs, as well as supplying consultancy for safety-critical software and functional programming. In 2009-2011 I was living in Vietnam for 2 years, where I was running the Vietnam half of Tom Hales' Flyspeck project.
16 How do proof verifiers work? jan 8 '11
10 How do they verify a verifier of formalized proofs? jan 8 '11