Paperproof

icon location VSCode extension that displays Lean proofs as proof trees.

Results 1 repositories owned by Paperproof

paperproof

327
Stars
9
Forks
Watchers

Lean theorem proving interface which feels like pen-and-paper proofs.

verified publisher icon Paper-Proof