commit: 9aebcaccc0509d1b4ee909b39f9b6b1608b2a14c

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Tue Sep 05 14:48:12 2023 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Tue Sep 05 14:48:12 2023 +0200
tree: 9f5ca476450051d522d0df251cefb7c51cc9a9a4
parent: 84bf315ac89be67b13913fdb7a42c9e859a7638b [diff]

chore: profile unification/conversion checking

src/Lean/Meta/ExprDefEq.lean[diff]

1 file changed

tree: 9f5ca476450051d522d0df251cefb7c51cc9a9a4

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.