commit: 5eabc5519414ec74cdf51e217ace775f45a5732a

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

Sun Jun 08 16:14:30 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Jun 08 16:14:30 2025 -0700
tree: 5103addc7238fec7e35a1390ec21a406c7c65782
parent: ed41a2009d15b9dff8e17f22b0f1195d0271b9a5 [diff]

feat: generate `CommRing` interface proof terms

5 files changed

tree: 5103addc7238fec7e35a1390ec21a406c7c65782

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.