Timeline for What is a Proof Assistant?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 17, 2022 at 16:45 | comment | added | James Wood | This definition of formal proof seems antiquated, such that it's an inaccurate description of what proof assistants actually do. | |
| Feb 8, 2022 at 21:24 | comment | added | Mitch | Are you saying that software that works on 'natural deduction' (in your link) is -not- a proof assistant? (since you hint at that using the term 'alternative') | |
| Feb 8, 2022 at 19:21 | vote | accept | taylor.2317 | ||
| Jun 18, 2022 at 11:57 | |||||
| Feb 8, 2022 at 18:59 | history | edited | Nike Dattani | CC BY-SA 4.0 |
added 259 characters in body
|
| Feb 8, 2022 at 18:52 | history | answered | Nike Dattani | CC BY-SA 4.0 |