bot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 10 months ago

Lean 4.0

github.com

cross-posted to:
hackernews@derp.foo
technews@radiation.party

Lean 4.0

github.com

bot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 10 months ago

cross-posted to:
hackernews@derp.foo
technews@radiation.party

Release v4.0.0 · leanprover/lean4

github.com

This is the first official release of Lean 4. We intend to begin regular releases of Lean 4, providing a new "minor" version approximately monthly. We do not yet make promises about backwards compa...

HN Discussion

Chat

wick
link
fedilink
arrow-up
1·
10 months ago
Tbf I went to their website and still don’t know. Some kind of encyclopaedia of math theories I guess.