commit: a2ead99c7bc8a228d32ca961e388a104c30f1d80

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

Fri Jun 06 15:30:32 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Jun 06 15:30:32 2025 -0700
tree: cb36d7b8a6f94034a5570cd883a44b9af12de58c
parent: 99524dfc299b653b9f6a0291b22d09c31712859f [diff]

feat: `CommRing` interface for grind linarith

3 files changed

tree: cb36d7b8a6f94034a5570cd883a44b9af12de58c

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.