Comment on Lean 4.0

Lemmesee@lemm.ee ⁨1⁩ ⁨year⁩ ago

Quite bizarre and annoying that the maintainers don’t explain what their project is about front and center. I have no idea what Lean is and would like to know. Where should I be looking if not at the Github README?

source
Sort:hotnewtop