commit: 2d58b160c67c756572433207e27d02424f933737

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Wed Mar 05 09:36:22 2025 +0100
committer: GitHub <noreply@github.com>

Wed Mar 05 09:36:22 2025 +0100
tree: a13dd025cb0655f1fcc9f06dfb0b30f21e200441
parent: 6eb0e41fcea08459ca4dc7ba28ae03a48cbf7b32 [diff]

fix job name

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

1 file changed

tree: a13dd025cb0655f1fcc9f06dfb0b30f21e200441

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