bot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 1 year ago

Lean 4.0

2

4

Lean 4.0

bot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 1 year ago

2

Release v4.0.0 · leanprover/lean4

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...

Chat

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

Hacker News@lemmy.smeargle.fans

hackernews@lemmy.smeargle.fans

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !hackernews@lemmy.smeargle.fans

Community locked: only moderators can create posts. You can still comment on posts.

A mirror of Hacker News’ best submissions.

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

2 users / day
2 users / week
2 users / month
2.51K users / 6 months
1 local subscriber
2.17K subscribers
16.3K Posts
4.18K Comments
Modlog

mods:
bot@lemmy.smeargle.fans