commit: af38c7b3a45094acd2420c945d5570efaa236977

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

Tue Aug 05 08:36:34 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Aug 05 08:36:34 2025 +1000
tree: 233292ab5142b2656d6cbda3d5f4e66060dffb58
parent: eae84d7aa2b6ff0dedc187b368e9ebfeb6d3ca0b [diff]
parent: 59579bfc3e31c8da544d808eea6d073cd6ab53a2 [diff]

Merge branch 'master' into 9367_regression

tree: 233292ab5142b2656d6cbda3d5f4e66060dffb58

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.