commit: 3f615155247b26f3fc58cf9f84f191c46070c581

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

Thu Oct 17 15:37:02 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Oct 17 15:37:02 2024 +1100
tree: 47a73ee16e5ac060d4d06a55cbcedbf1835a15fd
parent: 084f498fac08bd348b4596514f318358cacd5af2 [diff]

restart CI

tree: 47a73ee16e5ac060d4d06a55cbcedbf1835a15fd

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