commit: 36dbcef92f070584f3af48ef54ee89f406ac6f74

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

Fri Aug 29 15:23:35 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Aug 29 15:23:35 2025 -0700
tree: b0fc3a7f805dadba9387e3f907f6d67cb4b1d274
parent: a3d8c30662d279b5a20b5e19437f996d669024e4 [diff]

feat: AC module invariants

7 files changed

tree: b0fc3a7f805dadba9387e3f907f6d67cb4b1d274

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.