This looks like a really cool tool for visualizing proofs in Lean: https://github.com/Paper-Proof/paperproof https://lakesare.brick.do/lean- . . . Read more