commit: 8e53de79392600c1bf34d87d72b0d168c88e5f17

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

Tue Mar 26 21:56:50 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Tue Mar 26 21:56:50 2024 +1100
tree: 29bb18988f4a8cec4b5f9b73aace07c81268f440
parent: 657b8662c8aaea05a1ae42c139177c06475c1a4c [diff]

make the attributes earlier

3 files changed

tree: 29bb18988f4a8cec4b5f9b73aace07c81268f440

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.