Frontend in Rust for mathematics

Visualizes a proof or program written in mathematical programming language Lean. Written with Rust and backend in Lean.

https://codeberg.org/wvhulle/lean-tui