commit: 15de37fb9aa9d7e621df5c122e8d3978664b3e40

[log]
author: Kim Morrison <kim@tqft.net>

Wed Mar 05 09:03:38 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Mar 05 09:03:38 2025 +1100
tree: 0a2acf8a2e635954c4c7f851bbaf3e467b931454
parent: aa8faae5766b3f7003774d5d01d6af0a69a39622 [diff]

feat: force-mathlib-ci label

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

1 file changed

tree: 0a2acf8a2e635954c4c7f851bbaf3e467b931454

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).