commit: f296779e46343bb93212974e9036596ff2034ff5

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Mon Jan 08 18:08:10 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jan 08 18:08:28 2024 -0800
tree: ff1ea4c8e06bd4bb375410528c798d3ba1dd991a
parent: 9b2b4aa2843f87d9ac14284b95302168ff205f93 [diff]

doc: add `simproc` release notes

RELEASES.md[diff]

1 file changed

tree: ff1ea4c8e06bd4bb375410528c798d3ba1dd991a

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.