Lean-TUI for the lean proof assistant | Dark Hacker News