This is your work, valued

Paperproof

Advanced
@Paper-Proof

VSCode extension that displays Lean proofs as proof trees.