commit: 0cb53b405b05309dc2686100db456548933e6263

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

Mon Sep 01 21:11:25 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Sep 01 21:12:23 2025 -0700
tree: 9773aa2b63d7f2026f41c13d0c50407679dd7eef
parent: 96c2d7c32aa6c24a417b7c24d39a099299b925c4 [diff]

feat: extra critical pairs for AC + idempotent

5 files changed

tree: 9773aa2b63d7f2026f41c13d0c50407679dd7eef

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.