commit: 0a72493b007c3941defa52878c61a045bfa19571

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Tue Jul 15 20:24:52 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jul 15 20:27:39 2025 -0700
tree: fb6d8f9ad35eb6edbb2fea8534890692fba3bc45
parent: 68c8d6608ded9046a3f72bba13184686d301cb6c [diff]

fix: and cleanup anti-idioms

3 files changed

tree: fb6d8f9ad35eb6edbb2fea8534890692fba3bc45

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.