Skip to main content

Lean community blog

Main site
Archive
Tags
About
RSS feed

Posts about announcement

2023-09-08 15:58The first official release of Lean 4

Contents © 2024 The Lean prover community - Powered by Nikola