proof-tree topic
List
proof-tree repositories
traf
24
Stars
1
Forks
Watchers
A proof tree viewer that works with Coq through Proof General
paperproof
327
Stars
9
Forks
Watchers
Lean theorem proving interface which feels like pen-and-paper proofs.