I would be interested in something like this to visualize and inspect the structure of proofs, for example those contained in the Lean mathematical components l

I would be interested in something like this to visualize and inspect the structure of proofs, for example those contained in the Lean mathematical components library https://github.com/leanprover-community/mathlib https://github.com/leanprover-community/mathlib