commit: 77460139ed31108aae7430fa69317f1c5a9e3ca7

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

Thu Mar 14 15:05:21 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Thu Mar 14 15:05:21 2024 +1100
tree: 8478e58a14755bd0670adc295b6953dacd4adf79
parent: 3f224affa80606fa33d7765b354f1db1064d67a6 [diff]
parent: c6163cf0768984dfc4e3177b44ded2793a35a498 [diff]

Merge branch 'congr' into convert

tree: 8478e58a14755bd0670adc295b6953dacd4adf79

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.