Applications and libraries/Theorem provers - Revision history

Henk-Jan van Tuyl: /* Applications */ Cayenne reappeared on the web => link updated

Henk-Jan van Tuyl — Wed, 08 Aug 2012 20:22:34 GMT

Applications: Cayenne reappeared on the web => link updated

Will — Wed, 20 Apr 2011 15:31:22 GMT

Applications

Will — Wed, 20 Apr 2011 15:28:44 GMT

forgot a bracket

Will — Wed, 20 Apr 2011 15:28:24 GMT

Updated the Zeno entry

Will874 — Wed, 02 Feb 2011 17:01:27 GMT

Applications

Henk-Jan van Tuyl — Fri, 14 Jan 2011 23:14:21 GMT

Applications: Updated the link for Agda

Henk-Jan van Tuyl — Fri, 14 Jan 2011 23:13:04 GMT

Applications: THe Cayenne link now points to the Web Archive; added remark about Cayenne not being supported

Janis — Sun, 31 Oct 2010 19:19:31 GMT

Janis — Sun, 31 Oct 2010 19:18:09 GMT

added free theorems generator

Henk-Jan van Tuyl — Sat, 30 Oct 2010 21:11:42 GMT

Several updates