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 | |
---|---|---|---|---|---|
Feb 21, 2010 at 12:29 | history | answered | Noam Zeilberger | CC BY-SA 2.5 |