commit: c6da7d6d8afbb2985f0b8dad7cb0e57c91de2c6b

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

Tue Sep 24 11:15:06 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Sep 24 11:15:06 2024 +1000
tree: f1439cb0175393cd762b53eacfc1a56809657016
parent: e68764b0307b47cb2523595eb5528f25a6117272 [diff]

chore: bump Batteries branch

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

1 file changed

tree: f1439cb0175393cd762b53eacfc1a56809657016

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