commit: cbc5956dc4c3061ef38ed60821d6b569330a2eba

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Tue Jan 31 12:34:28 2023 +0100
committer: GitHub <noreply@github.com>

Tue Jan 31 12:34:28 2023 +0100
tree: e4b9c9e73d351a5724ba6036799076599f0b441c
parent: 18b3bd7875e74a564daddf17554b221bb5d7ec9c [diff]

doc: update FPiL entry in README

/cc @david-christiansen

I think it's progressed far enough that no "in development" annotation is necessary on this page

README.md[diff]

1 file changed

tree: e4b9c9e73d351a5724ba6036799076599f0b441c

README.md

This is the repository for Lean 4, which is currently being released as milestone releases towards a first stable release. Lean 3 is still the latest stable release.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.