commit: 2d73766d1da86a523d1e816e9b3288ad950fab81

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Fri Mar 21 12:22:50 2025 +0100
committer: Joachim Breitner <mail@joachim-breitner.de>

Fri Mar 21 12:22:50 2025 +0100
tree: cec7a4ef31fa166ce1a5735c390925424d9bef25
parent: 1afd67810097af814b55b5ec074049f592708586 [diff]

chore: run awaiting-mathlib.yml on more events

so that we can make it a required check

.github/workflows/awaiting-mathlib.yml[diff]

1 file changed

tree: cec7a4ef31fa166ce1a5735c390925424d9bef25

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