Companion repo for the TUI from Zero Coursera course — pure-Rust TUI framework gated by pv + Lean 4 - View it on GitHub