Lean-TUI for the lean proof assistant

Post by i_don_t_know » Tue, Feb 24, 2026, 6:56 PM UTC