commit: a712e6b1730581ec21ac46a0739f5ebc3da5f37d

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

Fri Dec 20 19:42:57 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Fri Dec 20 19:42:57 2024 +1100
tree: b34ea0d8ca80de867296223ac563e900c6d9ece9
parent: cfb324f9ff00baedbc9b8ffabeef30e343367266 [diff]

//

.github/workflows/ci.yml[diff]

1 file changed

tree: b34ea0d8ca80de867296223ac563e900c6d9ece9

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