commit: 9eb17c2f72e269a5c4a72d4c98cb6720d6f768f4

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

Thu Apr 11 13:13:07 2024 +0200
committer: Joe Hendrix <joe@lean-fro.org>

Thu Apr 11 13:13:07 2024 +0200
tree: 3ca52350d1b611968a79dc3dc34adc5e0e1bbcd4
parent: 503f6967339b449ac82041f5107eb9d0e84c7764 [diff]

wip: progress

4 files changed

tree: 3ca52350d1b611968a79dc3dc34adc5e0e1bbcd4

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.