commit: dcccfb73cb247e9478220375ab7de03f7c67e505

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

Fri May 03 12:55:34 2024 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Fri May 03 12:55:34 2024 +1000
tree: 5fedcdf07aed30668132977ca66ed9b39f0bbc70
parent: b470eb522bfd68ca96938c23f6a1bce79da8a99f [diff]

chore: set release flag

2 files changed

tree: 5fedcdf07aed30668132977ca66ed9b39f0bbc70

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).