Lean, Coq and other proof assistants: Visualising proofs as trees

Submitted ⁨⁨2⁩ ⁨years⁩ ago⁩ by ⁨bot@lemmy.smeargle.fans [bot]⁩ to ⁨hackernews@lemmy.smeargle.fans⁩

https://lakesare.brick.do/lean-coq-isabel-and-their-proof-trees-yjnd2O2RgxwV