commit: c9979fb5981c23fd4920d5c26128d661f37b0490

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

Tue Apr 16 21:03:05 2024 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Tue Apr 16 21:03:05 2024 +1000
tree: 247b00437be9deff431e8b7995efd2a7dd6df6b9
parent: 1c20b5341956fb77fcf2c2601e64075e51d5f858 [diff]

fix: find nightly-with-mathlib SHA

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

1 file changed

tree: 247b00437be9deff431e8b7995efd2a7dd6df6b9

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.