commit: e0cc21a6563a01db43936040a2ff53bfcbf68286

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Mon Feb 05 14:15:32 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Mon Feb 05 14:15:32 2024 +1100
tree: 80dbea4ee2433cbfc0a983ccd43b4b020e300f76
parent: ebe6b958891615d51c5ee882bcb43ef940c4cbaa [diff]

try something else

2 files changed

tree: 80dbea4ee2433cbfc0a983ccd43b4b020e300f76

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.