commit: a63acb32b39a1e8bee1a9c9fb992fbcca85ba968

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

Mon Jan 22 13:45:47 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Mon Jan 22 13:45:47 2024 +1100
tree: 9c7821e4d44f1503a77bbe28314036e010de5ae3
parent: 89c733625d867d9e058ddc2948b80a88d3784de5 [diff]

more fixes

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

1 file changed

tree: 9c7821e4d44f1503a77bbe28314036e010de5ae3

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.