commit: db92b51bdccfd217cdc4739054df9a6d4fdb23b7

[log]
author: Joe Hendrix <joe@lean-fro.org>

Wed Feb 21 16:29:37 2024 -0800
committer: Joe Hendrix <joe@lean-fro.org>

Wed Feb 21 16:34:09 2024 -0800
tree: 5dfbac45b2b8c6dad0b670a6e1052a60786add3e
parent: 6e821de11abd3c16dbbeb15cbfe315e2abbef10a [diff]

fix: copyright inconsistencies

9 files changed

tree: 5dfbac45b2b8c6dad0b670a6e1052a60786add3e

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.