Repositories tagged with "proof-tree"
paperproof
Paper-Proof
โLean theorem proving interface which feels like pen-and-paper proofs.โ