Paperproof

VSCode extension that displays Lean proofs as proof trees.