Timeline for Is there any proof assistant based on first-order logic?
Current License: CC BY-SA 2.5
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 14, 2017 at 18:16 | answer | added | Noah Schweber | timeline score: 0 | |
| Sep 4, 2010 at 21:39 | answer | added | Dan Christensen | timeline score: 1 | |
| Jul 7, 2010 at 1:01 | answer | added | Matthew Wampler-Doty | timeline score: 9 | |
| Feb 22, 2010 at 7:32 | answer | added | vonjd | timeline score: 1 | |
| Feb 21, 2010 at 12:29 | answer | added | Noam Zeilberger | timeline score: 2 | |
| Feb 18, 2010 at 20:09 | comment | added | kakaz | Here You have some "consumer test" of several proof assistants cs.ru.nl/~freek/comparison/diffs.ps.gz maybe it helps somehow... It consider of 17 different provers pointed here: cs.ru.nl/~freek/comparison/index.html | |
| Feb 18, 2010 at 16:37 | answer | added | Ulrik Buchholtz | timeline score: 3 | |
| Feb 18, 2010 at 13:52 | history | edited | Charles Stewart |
edited tags
|
|
| Feb 18, 2010 at 11:24 | answer | added | Neel Krishnaswami | timeline score: 2 | |
| Feb 18, 2010 at 10:47 | history | asked | Francesco Turco | CC BY-SA 2.5 |