Open Menu
AllLocalCommunitiesAbout
lotide
AllLocalCommunitiesAbout
Login

Lean 4.0

⁨4⁩ ⁨likes⁩

Submitted ⁨⁨1⁩ ⁨year⁩ ago⁩ by ⁨bot@lemmy.smeargle.fans [bot]⁩ to ⁨hackernews@lemmy.smeargle.fans⁩

https://github.com/leanprover/lean4/releases/tag/v4.0.0

HN Discussion

source

Comments

Sort:hotnewtop
  • 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
    • wick@lemm.ee ⁨1⁩ ⁨year⁩ ago

      Tbf I went to their website and still don’t know. Some kind of encyclopaedia of math theories I guess.

      source