commit: 5fff3df48396b9ee586fd0a6fda4ba1b3a4ce1c8

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

Thu May 15 21:01:19 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu May 15 21:01:19 2025 +1000
tree: 941709a2ffc3ebe8a42b3217a70cf8df2729e510
parent: 305fba625d46a676c549c3129dc98d638d281781 [diff]

chore: fix Inv.inv upstream

2 files changed

tree: 941709a2ffc3ebe8a42b3217a70cf8df2729e510

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.