minus-squareLemmesee@lemm.eetoHacker News@lemmy.smeargle.fans•Lean 4.0linkfedilinkarrow-up1·1 year agoQuite 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? linkfedilink
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?