Back to Results
First PageMeta Content
Logic in computer science / Automated theorem proving / Formal methods / Proof assistant / Isabelle / HOL / Automated reasoning / Logic for Computable Functions / Theorem Proving in Higher-Order Logics / Theoretical computer science / Mathematical software / Mathematics


Standalone Tactics using OpenTheory Ramana Kumar?1 and Joe Hurd2 1 University of Cambridge
Add to Reading List

Document Date: 2012-06-04 20:10:04

Open Document

File Size: 191,23 KB

Share Result on Facebook
UPDATE