Timeline for Proof assistants for beginners - a comparison
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 19, 2023 at 10:08 | comment | added | fweth | Also worth noting that Lean(4) is super easy to install on GitPod or GitHub Codespaces, which should be accessible for everyone with a web browser, even on a tablet computer. | |
| May 4, 2022 at 15:21 | comment | added | nilo de roock | I think that I am, more or less, where you were, when you started. Your answer really encourages me to start working with a proof assistant. | |
| Apr 10, 2022 at 9:49 | comment | added | magma | I just discovered this new SE section! Following your advice I just started learning LEAN and starting to ask Lean related questions. The large mathlib is what really attracts me. | |
| Mar 3, 2022 at 16:55 | history | edited | taylor.2317 | CC BY-SA 4.0 |
deleted 7 characters in body
|
| S Feb 9, 2022 at 21:08 | history | suggested | Rob Lewis | CC BY-SA 4.0 |
add link to Lean learning resources
|
| Feb 9, 2022 at 19:44 | review | Suggested edits | |||
| S Feb 9, 2022 at 21:08 | |||||
| Feb 9, 2022 at 18:54 | history | edited | Kevin Buzzard | CC BY-SA 4.0 |
add comment
|
| Feb 9, 2022 at 18:48 | history | answered | Kevin Buzzard | CC BY-SA 4.0 |