Projects in Awesome Lists tagged with proof-tree
A curated list of projects in awesome lists tagged with proof-tree .
https://github.com/Paper-Proof/paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
lean4 mathematics metaprogramming proof-tree
Last synced: 04 Apr 2025
https://github.com/sano-jin/bussproofs-html
Proof tree renderer on HTML, which can be used with KaTeX.
bussproofs html katex latex markdown proof-tree
Last synced: 26 Jul 2025
