Visualizes a proof or program written in mathematical programming language Lean. Written with Rust and backend in Lean.
https://codeberg.org/wvhulle/lean-tui
