commit: e654f669d64131ba10b760276c481c976bdd1cce

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

Fri Apr 05 11:25:14 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Fri Apr 05 11:25:14 2024 +1100
tree: 95e3362009a8c2256f11557f7cbe661e9ab31138
parent: e41cd310e9a3cfb04db3aaa4e974ebb0c2ba6dc3 [diff]

chore: when setting up Mathlib CI, make sure nightly-with-mathlib branch has been fetched

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

1 file changed

tree: 95e3362009a8c2256f11557f7cbe661e9ab31138

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.