Hacker News new | ask | show | jobs
Lean-TUI for the lean proof assistant (codeberg.org)
2 points by i_don_t_know 120 days ago