Timeline for Is there any proof assistant based on first-order logic?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jan 14, 2017 at 16:22 | history | suggested | Guy Coder | CC BY-SA 3.0 |
Fix broken link
|
| Jan 14, 2017 at 15:53 | review | Suggested edits | |||
| S Jan 14, 2017 at 16:22 | |||||
| Feb 18, 2010 at 13:58 | comment | added | Charles Stewart | Note that you can model natural deduction inside a proof assistant based on Hilbert style if it allows (as they nearly all do) you to use meta-theorems to make new inferences. But if you care about natural deduction representations of first-order logic, Jape is probably the best fit. | |
| Feb 18, 2010 at 11:24 | history | answered | Neel Krishnaswami | CC BY-SA 2.5 |