4 ms·
For the Isabelle theorem prover I know the Archive of Formal Proofs [0]. [0] http://afp.sourceforge.net/ http://afp.sourceforge.net/
by qznc 12y ago
For the Isabelle theorem prover I know the Archive of Formal Proofs [0].
[0] http://afp.sourceforge.net/ http://afp.sourceforge.net/
- gone35 12y agoDamn; this is amazing stuff... I had no idea: (from [1]) so just get a local copy, set the path, and voila you can import... Wonderful. Thank you for sharing this! http://afp.sourceforge.net/using.shtml http://afp.sourceforge.net/using.shtml