Proof assistant: Revision history

3 November 2013

• curprev 15:0715:07, 3 November 2013‎ imported>Meg Taylor‎ 21,521 bytes +21,521‎ No edit summary

11 May 2011

• curprev 14:2814:28, 11 May 2011‎ imported>John R. Brews‎ 21,538 bytes +21,538‎ →‎Higher-order logic versus theory of sets: link

20 August 2010

• curprev 06:1306:13, 20 August 2010‎ imported>Boris Tsirelson‎ 21,542 bytes +2,690‎ →‎Reliability: here it is

18 August 2010

• curprev 06:5506:55, 18 August 2010‎ imported>Boris Tsirelson‎ 19,028 bytes +176‎ →‎Isabelle/Isar: comparison
• curprev 06:5106:51, 18 August 2010‎ imported>Boris Tsirelson‎ 18,852 bytes +237‎ →‎References: Wiedijk
• curprev 05:1505:15, 18 August 2010‎ imported>Boris Tsirelson‎ 18,607 bytes −8‎ →‎Other systems: Otter is deprecated
• curprev 02:5402:54, 18 August 2010‎ imported>Boris Tsirelson‎ 18,615 bytes +4,078‎ →‎Hard work: exercises

17 August 2010

• curprev 12:4612:46, 17 August 2010‎ imported>Boris Tsirelson‎ m 18,542 bytes 0‎ →‎Higher-order logic versus theory of sets
• curprev 12:4312:43, 17 August 2010‎ imported>Boris Tsirelson‎ 18,542 bytes +141‎ →‎Higher-order logic versus theory of sets: more
• curprev 07:4307:43, 17 August 2010‎ imported>Boris Tsirelson‎ m 18,401 bytes +11‎ →‎Higher-order logic versus theory of sets: more
• curprev 07:4207:42, 17 August 2010‎ imported>Boris Tsirelson‎ 18,390 bytes +193‎ →‎Higher-order logic versus theory of sets: more
• curprev 07:3507:35, 17 August 2010‎ imported>Boris Tsirelson‎ 18,197 bytes +337‎ →‎Higher-order logic versus theory of sets: more
• curprev 07:2707:27, 17 August 2010‎ imported>Boris Tsirelson‎ 17,860 bytes +524‎ →‎Higher-order logic versus theory of sets: more
• curprev 07:0507:05, 17 August 2010‎ imported>Boris Tsirelson‎ m 17,336 bytes +608‎ →‎Higher-order logic versus theory of sets: more
• curprev 07:0407:04, 17 August 2010‎ imported>Boris Tsirelson‎ 17,336 bytes +608‎ →‎Higher-order logic versus theory of sets: more
• curprev 06:5606:56, 17 August 2010‎ imported>Boris Tsirelson‎ 16,728 bytes +335‎ →‎Higher-order logic versus theory of sets: more

16 August 2010

• curprev 12:5612:56, 16 August 2010‎ imported>Boris Tsirelson‎ m 16,393 bytes −1‎ →‎Higher-order logic versus theory of sets: more
• curprev 12:5512:55, 16 August 2010‎ imported>Boris Tsirelson‎ 16,394 bytes +318‎ →‎Higher-order logic versus theory of sets: more
• curprev 07:1707:17, 16 August 2010‎ imported>Boris Tsirelson‎ m 16,080 bytes +4‎ →‎Higher-order logic versus theory of sets
• curprev 07:1607:16, 16 August 2010‎ imported>Boris Tsirelson‎ 16,076 bytes +12‎ →‎Higher-order logic versus theory of sets
• curprev 07:1007:10, 16 August 2010‎ imported>Boris Tsirelson‎ m 16,064 bytes +731‎ →‎Higher-order logic versus theory of sets: more
• curprev 07:0307:03, 16 August 2010‎ imported>Boris Tsirelson‎ 16,066 bytes +473‎ →‎Higher-order logic versus theory of sets: more

15 August 2010

• curprev 10:2110:21, 15 August 2010‎ imported>Boris Tsirelson‎ 15,593 bytes +260‎ →‎Higher-order logic versus theory of sets: more
• curprev 10:1510:15, 15 August 2010‎ imported>Boris Tsirelson‎ 15,407 bytes +74‎ →‎Higher-order logic versus theory of sets: more
• curprev 10:0510:05, 15 August 2010‎ imported>Boris Tsirelson‎ 15,333 bytes +796‎ →‎Higher-order logic versus theory of sets: more
• curprev 09:5109:51, 15 August 2010‎ imported>Boris Tsirelson‎ m 15,193 bytes 0‎ →‎Higher-order logic versus theory of sets
• curprev 09:4809:48, 15 August 2010‎ imported>Boris Tsirelson‎ 15,193 bytes +656‎ →‎Higher-order logic versus theory of sets: more
• curprev 09:3109:31, 15 August 2010‎ imported>Boris Tsirelson‎ 15,119 bytes +582‎ →‎Higher-order logic versus theory of sets: range avioded
• curprev 09:2909:29, 15 August 2010‎ imported>Boris Tsirelson‎ 15,116 bytes +579‎ →‎Higher-order logic versus theory of sets: range avioded

14 August 2010

• curprev 13:4313:43, 14 August 2010‎ imported>Boris Tsirelson‎ 14,578 bytes +16‎ →‎Higher-order logic versus theory of sets
• curprev 13:4213:42, 14 August 2010‎ imported>Boris Tsirelson‎ m 14,561 bytes −1‎ →‎Higher-order logic versus theory of sets
• curprev 13:4013:40, 14 August 2010‎ imported>Boris Tsirelson‎ 14,562 bytes +25‎ →‎Higher-order logic versus theory of sets
• curprev 13:3713:37, 14 August 2010‎ imported>Boris Tsirelson‎ 14,562 bytes +25‎ →‎Notes
• curprev 13:3513:35, 14 August 2010‎ imported>Boris Tsirelson‎ 14,561 bytes +24‎ →‎Higher-order logic versus theory of sets: ref
• curprev 13:3313:33, 14 August 2010‎ imported>Boris Tsirelson‎ 14,537 bytes +14,537‎ →‎References: Taylor
• curprev 13:2813:28, 14 August 2010‎ imported>Boris Tsirelson‎ m 14,365 bytes −46‎ →‎Higher-order logic versus theory of sets
• curprev 13:2813:28, 14 August 2010‎ imported>Boris Tsirelson‎ 14,411 bytes +3,738‎ →‎Higher-order logic versus theory of sets: start it
• curprev 12:4112:41, 14 August 2010‎ imported>Boris Tsirelson‎ 10,673 bytes −5‎ →‎Availability: image
• curprev 12:4012:40, 14 August 2010‎ imported>Boris Tsirelson‎ 10,678 bytes +362‎ →‎Other systems: more
• curprev 12:0512:05, 14 August 2010‎ imported>Boris Tsirelson‎ 10,632 bytes +91‎ →‎Availability: image
• curprev 11:5811:58, 14 August 2010‎ imported>Boris Tsirelson‎ 10,541 bytes +225‎ →‎Availability: image

13 August 2010

• curprev 03:4103:41, 13 August 2010‎ imported>Boris Tsirelson‎ 10,459 bytes +143‎ →‎Availability: Everything is included
• curprev 02:2402:24, 13 August 2010‎ imported>Boris Tsirelson‎ 10,316 bytes +10,316‎ →‎Availability: more
• curprev 01:4701:47, 13 August 2010‎ imported>Boris Tsirelson‎ m 10,075 bytes +628‎ →‎Availability
• curprev 01:4101:41, 13 August 2010‎ imported>Boris Tsirelson‎ 10,070 bytes +623‎ →‎Availability: more
• curprev 01:3001:30, 13 August 2010‎ imported>Boris Tsirelson‎ 9,447 bytes +164‎ →‎Availability: more
• curprev 01:2801:28, 13 August 2010‎ imported>Boris Tsirelson‎ 9,283 bytes +618‎ →‎Availability: more
• curprev 01:2301:23, 13 August 2010‎ imported>Boris Tsirelson‎ 9,046 bytes +381‎ →‎Availability

12 August 2010

• curprev 02:1002:10, 12 August 2010‎ imported>Boris Tsirelson‎ 8,665 bytes +8,665‎ New page: {{subpages}} For a mathematical theory, correctness means formalizability. ''"In practice, the mathematician ... is content to bring the exposition to a point whe...