feat(Logic): improvements to the inference system and congruence frameworks, with associated refactorings - #753
Merged
Merged
Commits
Commits on May 21, 2026
- committed
Commits on May 26, 2026
- committed
twwar
Commits on May 27, 2026
- committed
Commits on May 28, 2026
- committedtwwar
Commits on May 29, 2026
Commits on Jun 16, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committedtwwar
Commits on Jul 2, 2026
- committedFabrizio Montesi
Commits on Jul 6, 2026
- committedFabrizio Montesi
- committedFabrizio Montesi
Commits on Jul 7, 2026
- committedFabrizio Montesi
- committedFabrizio Montesi
- committedFabrizio Montesi
- committedFabrizio Montesi
Commits on Jul 8, 2026
- committedFabrizio Montesi
Commits on Jul 22, 2026
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed
- andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed
- committed
- authored
- committed
![mathlib-nightly-testing[bot]](https://avatars.githubusercontent.com/u/41703605?v=4&size=32){kind=avatar}
Commits on Jul 24, 2026
Commits on Jul 29, 2026
- committed
- committed
- committed
- committed
- committed
Commits on Aug 3, 2026
- committed