Evgenia Karunus personal blog
Lean, Coq and other proof assistants: Visualising proofs as trees
This week we (me & Anton Kovsharov) published Paperproof, a Gentzen-tree-like proof interface for Lean 4. In this post I'll review proof visualisations from o...
- Points
- 158
- HN comments
- 28
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsSoftware Engineering2023
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Sep 20, 2023 | Lean, Coq and other proof assistants: Visualising proofs as trees by lakesare | 158 | 28 |
