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

All Lean Books And Where To Find Them

Demystifying tables (cells inside; borders outside)