commit: 0fa8df0569a3c41d76053ad3ee11e729c375a073

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Wed Nov 01 10:47:45 2023 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Nov 01 10:47:45 2023 +1100
tree: 5f5ef10c0e23575d0e7d7ab05ac93dd97d6f51a6
parent: 72fdddfed3646184ebe0db99eabd180e423bb5fa [diff]

chore: fix duplication in release notes

RELEASES.md[diff]

1 file changed

tree: 5f5ef10c0e23575d0e7d7ab05ac93dd97d6f51a6

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.