Skip Navigation
Hacker News @lemmy.smeargle.fans bot @lemmy.smeargle.fans
BOT

Lean 4.0

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

Release v4.0.0 · leanprover/lean4
2

You're viewing a single thread.

2 comments