Timeline for Is there any proof assistant based on first-order logic?
Current License: CC BY-SA 2.5
1 event
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jul 7, 2010 at 1:01 | history | answered | Matthew Wampler-Doty | CC BY-SA 2.5 |