Owner · Paper-Proof
Paper-Proof
Paper-Proof's tracked open-source repos, sorted by stars.
1 repos
- #1
Lean theorem proving interface which feels like pen-and-paper proofs.
★ 545+3Star change over the last 7 days
Paper-Proof's tracked open-source repos, sorted by stars.
Lean theorem proving interface which feels like pen-and-paper proofs.