Lean-TUI for the lean proof assistantcodeberg.org2 points·i_don_t_know··0 commentsOpen articleSaveView on HN