Lean-TUI for the lean proof assistant(codeberg.org)2 ポイント·投稿者 i_don_t_know·5 か月前·0 コメントcodeberg.orgLean-TUI for the lean proof assistanthttps://codeberg.org/wvhulle/lean-tui0 コメントコメントを投稿—