feat: cache failures at `isDefEq` We can compile Lean with these changes, but 3 tests are still broken. This cache is used to address a performance issue reported at https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/deterministic.20timeout.20with.20structures/near/288180087
This is the repository for Lean 4, which is currently being released as milestone releases towards a first stable release. Lean 3 is still the latest stable release.
See Setting Up Lean.
Please read our Contribution Guidelines first.
See Building Lean.