commit: 63bfdb61416648ffb163c148ea5e802bb6f68789

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

Sun May 25 16:04:45 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Sun May 25 16:04:45 2025 +1000
tree: d0c161207b993354c6ad33432b444733c16b79a8
parent: 2a1354b3cc1eb05e1b67c656d2172ada8f54a937 [diff]

chore: while awaiting-mathlib, show yellow status not red

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

1 file changed

tree: d0c161207b993354c6ad33432b444733c16b79a8

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.