commit: 62e6da14a25a8ca23ddf41f994f62a4b7275bdd6

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

Sat Nov 11 10:32:46 2023 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Sat Nov 11 10:32:46 2023 +1100
tree: 097b33851df3d8504554fd8ae7092144b36b873d
parent: fd0a209f7425f021d110c9469aac62434ec63367 [diff]

chore: fix commit used for PR release

.github/workflows/pr-release.yml[diff]

1 file changed

tree: 097b33851df3d8504554fd8ae7092144b36b873d

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.