Applications and libraries/Theorem provers: Revision history

16 January 2022

• curprev 12:1212:12, 16 January 2022‎ M4lvin talk contribs‎ 6,291 bytes +263‎ update/fix some dead links

13 June 2018

• curprev 04:2504:25, 13 June 2018‎ Steshaw talk contribs‎ m 6,028 bytes 0‎ →‎Applications: Correct capitalisation

6 April 2017

• curprev 15:0515:05, 6 April 2017‎ M4lvin talk contribs‎ 6,028 bytes −10‎ fix link to Edwin Brady

13 July 2016

• curprev 03:2203:22, 13 July 2016‎ Mirpa talk contribs‎ 6,038 bytes −24‎ →‎Applications: Epigram: removal of broken link

1 October 2014

• curprev 22:2822:28, 1 October 2014‎ Henk-Jan van Tuyl talk contribs‎ 6,062 bytes +3‎ →‎Libraries: Updated the link to Ivor

8 August 2012

• curprev 20:2220:22, 8 August 2012‎ Henk-Jan van Tuyl talk contribs‎ 6,059 bytes −51‎ →‎Applications: Cayenne reappeared on the web => link updated

20 April 2011

• curprev 15:3115:31, 20 April 2011‎ Will talk contribs‎ m 6,110 bytes +13‎ →‎Applications
• curprev 15:2815:28, 20 April 2011‎ Will talk contribs‎ m 6,097 bytes +1‎ forgot a bracket
• curprev 15:2815:28, 20 April 2011‎ Will talk contribs‎ 6,096 bytes −45‎ Updated the Zeno entry

2 February 2011

• curprev 17:0117:01, 2 February 2011‎ Will874 talk contribs‎ 6,141 bytes +378‎ →‎Applications

14 January 2011

• curprev 23:1423:14, 14 January 2011‎ Henk-Jan van Tuyl talk contribs‎ 5,763 bytes +3‎ →‎Applications: Updated the link for Agda
• curprev 23:1323:13, 14 January 2011‎ Henk-Jan van Tuyl talk contribs‎ 5,760 bytes +131‎ →‎Applications: THe Cayenne link now points to the Web Archive; added remark about Cayenne not being supported

31 October 2010

• curprev 19:1919:19, 31 October 2010‎ Janis talk contribs‎ m 5,629 bytes 0‎ No edit summary
• curprev 19:1819:18, 31 October 2010‎ Janis talk contribs‎ 5,629 bytes +163‎ added free theorems generator

30 October 2010

• curprev 21:1121:11, 30 October 2010‎ Henk-Jan van Tuyl talk contribs‎ 5,466 bytes +403‎ Several updates

6 April 2010

• curprev 14:2614:26, 6 April 2010‎ Mboes talk contribs‎ 5,063 bytes +234‎ Add link to Dedukti

2 May 2007

• curprev 18:2918:29, 2 May 2007‎ ARG talk contribs‎ m 4,829 bytes 0‎ Libraries and tools/Theorem provers moved to Applications and libraries/Theorem provers

4 April 2007

• curprev 11:4711:47, 4 April 2007‎ Tillmo talk contribs‎ 4,829 bytes +247‎ Hets

23 March 2007

• curprev 05:0505:05, 23 March 2007‎ Dmead talk contribs‎ 4,582 bytes +3‎ No edit summary

26 January 2007

• curprev 13:2313:23, 26 January 2007‎ Josef talk contribs‎ 4,579 bytes −19‎ No edit summary

6 December 2006

• curprev 05:3005:30, 6 December 2006‎ Dmead talk contribs‎ 4,598 bytes −7‎ No edit summary
• curprev 05:2205:22, 6 December 2006‎ Dmead talk contribs‎ 4,605 bytes +7‎ No edit summary
• curprev 05:1705:17, 6 December 2006‎ Dmead talk contribs‎ 4,598 bytes −45‎ No edit summary
• curprev 04:2504:25, 6 December 2006‎ Dmead talk contribs‎ 4,643 bytes +249‎ No edit summary
• curprev 02:4902:49, 6 December 2006‎ DonStewart talk contribs‎ 4,394 bytes +34‎ fmt

31 July 2006

• curprev 08:2808:28, 31 July 2006‎ EndreyMark talk contribs‎ 4,360 bytes +273‎ Adding Ivor also to here

2 April 2006

• curprev 05:3505:35, 2 April 2006‎ DonStewart talk contribs‎ 4,087 bytes +332‎ A couple more theorem provers written in Haskell
• curprev 04:3504:35, 2 April 2006‎ DonStewart talk contribs‎ 3,755 bytes +337‎ +Equinox, Koen's theorem prover

1 April 2006

• curprev 09:2909:29, 1 April 2006‎ EndreyMark talk contribs‎ m 3,418 bytes +7‎ Making the word ,,language'' to a link (to Linguistics)
• curprev 09:2409:24, 1 April 2006‎ EndreyMark talk contribs‎ 3,411 bytes +197‎ At the description of DEMO, mentioning the other dynamic epistemic logic materials written by the same author, and giving a link there
• curprev 08:0508:05, 1 April 2006‎ DonStewart talk contribs‎ 3,214 bytes +426‎ +DEMO
• curprev 02:1802:18, 1 April 2006‎ DonStewart talk contribs‎ 2,788 bytes +454‎ Add Cayenne

31 March 2006

• curprev 21:1521:15, 31 March 2006‎ EndreyMark talk contribs‎ m 2,334 bytes +19‎ The description of Epigram mentions the concept of dependent type, so I have made a link to Dependent type
• curprev 14:3014:30, 31 March 2006‎ DonStewart talk contribs‎ 2,315 bytes +415‎ Expander2 moved
• curprev 03:0603:06, 31 March 2006‎ DonStewart talk contribs‎ 1,900 bytes +904‎ 3 more theorem proving systems

30 March 2006

• curprev 14:3414:34, 30 March 2006‎ DonStewart talk contribs‎ m 996 bytes −2‎ typo only
• curprev 08:4908:49, 30 March 2006‎ BjornBringert talk contribs‎ 998 bytes +37‎ Reformatted as a definition list to fit in with the other libraries and tools pages.

29 March 2006

• curprev 08:2108:21, 29 March 2006‎ EndreyMark talk contribs‎ 961 bytes +86‎ Adding link to the new Analysis and design page from the description of Camila
• curprev 04:4404:44, 29 March 2006‎ DonStewart talk contribs‎ 875 bytes +109‎ +Camila

25 March 2006

• curprev 19:3119:31, 25 March 2006‎ EndreyMark talk contribs‎ m 766 bytes +4‎ The description of Agda mentioned dependent types, so I made a link to Dependent types wikipage.
• curprev 19:2619:26, 25 March 2006‎ EndreyMark talk contribs‎ 762 bytes +278‎ Adding two links: ,,Paradox'' and ,,Dumatel''
• curprev 04:4704:47, 25 March 2006‎ DonStewart talk contribs‎ 484 bytes +172‎ + djinn
• curprev 03:3903:39, 25 March 2006‎ DonStewart talk contribs‎ 312 bytes +312‎ + agda