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—