Lean-TUI for the lean proof assistant

(codeberg.org)

2 points | by i_don_t_know 6 hours ago ago

No comments yet.