Paper-Proof / paperproofLinks

Lean theorem proving interface which feels like pen-and-paper proofs.
418Updated this week

Alternatives and similar repositories for paperproof

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

Sorting: