Paperproof

Advanced

@Paper-Proof

VSCode extension that displays Lean proofs as proof trees.

0 views 0 projects

Apply