commit: 453b62078f8889c610ea5838fe01202cf421d56a

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

Tue Apr 02 14:55:34 2024 +1100
committer: GitHub <noreply@github.com>

Tue Apr 02 14:55:34 2024 +1100
tree: c7ea15142b680c8eb7b45c61020878ee619d4c66
parent: f56ace405d2082cedec8555d0c2a24c7cf1eb7bc [diff]
parent: c0027d3987a71f552a761d293944f6d8594bb33d [diff]

Merge branch 'master' into defeq_perf2

tree: c7ea15142b680c8eb7b45c61020878ee619d4c66

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.