commit: a7be3bd8b390cea29aa95b18563c269427552723

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

Tue Feb 20 12:07:22 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Tue Feb 20 12:07:22 2024 +1100
tree: 4d1223377a91eb89a34361eb95d2750b25010a59
parent: 489f2da711d3b65fe712d108df13f5ffe804f870 [diff]

chore: add missing copyright headers

20 files changed

tree: 4d1223377a91eb89a34361eb95d2750b25010a59

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.