proof-tree
There are 2 repositories under proof-tree topic.
Paper-Proof/paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
hide-kawabata/traf
A proof tree viewer that works with Coq through Proof General
There are 2 repositories under proof-tree topic.
Lean theorem proving interface which feels like pen-and-paper proofs.
A proof tree viewer that works with Coq through Proof General