Paper-Proof / paperproofLinks

Lean theorem proving interface which feels like pen-and-paper proofs.
431Updated 2 weeks ago

Alternatives and similar repositories for paperproof

Users that are interested in paperproof are comparing it to the libraries listed below

Sorting: