Back to Results
First PageMeta Content
Automated theorem proving / Logic in computer science / Proof assistants / Logic for Computable Functions / E theorem prover / HOL / Robin Milner / Interactive Theorem Proving / Type theory


Interactive Theorem Proving in Industry John Harrison Intel Corporation 16 April 2012
Add to Reading List

Document Date: 2012-10-10 03:52:01


Open Document

File Size: 244,35 KB

Share Result on Facebook