commit: 7123ba9702639e656f47a1466c113d9484ac0dd5

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Sat Apr 27 14:54:46 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Apr 27 14:55:53 2024 -0700
tree: d1d16b970a28cf713a86ca0862f4e4b9f2d45659
parent: 47dc348a11477062477cd00ce71e6d0fb448b29b [diff]

perf: more issues at `isDefEqProj`

4 files changed

tree: d1d16b970a28cf713a86ca0862f4e4b9f2d45659

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.