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

This is my overview of proof visualisation tools among all modern proof assistants.

If you're aware of any tools I might have missed, please @ me in the comments. I aimed to cover every one I could find.