https://apurvanakade.github.io/blog/tags/visualization/ Recent content in Visualization on PostDoc Problems Hugo en Wed, 01 Nov 2023 13:18:16 +0000 https://apurvanakade.github.io/blog/maths--science/lean/2023-11-01-paperproof/ Wed, 01 Nov 2023 13:18:16 +0000 https://apurvanakade.github.io/blog/maths--science/lean/2023-11-01-paperproof/ <p>This looks like a really cool tool for visualizing proofs in Lean:</p> <p><a href="https://github.com/Paper-Proof/paperproof">https://github.com/Paper-Proof/paperproof</a></p> <p><a href="https://lakesare.brick.do/lean-coq-isabel-and-their-proof-trees-yjnd2O2RgxwV">https://lakesare.brick.do/lean-coq-isabel-and-their-proof-trees-yjnd2O2RgxwV</a></p> <iframe width="560" height="315" src="https://www.youtube.com/embed/m6MuiHQmULY?si=QvagfImqDGS4qFo_" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" allowfullscreen></iframe> <p>This will probably get unweildy very fast for even moderately-sized proofs. But I suspect that it&rsquo;ll be of great help for beginners.</p>