Lean-TUI for the lean proof assistant(codeberg.org)2 points·by i_don_t_know·5 เดือนที่ผ่านมา·0 commentscodeberg.orgLean-TUI for the lean proof assistanthttps://codeberg.org/wvhulle/lean-tui0 commentsPost comment—