commit: 06af99fa0051d7b20bb054288a082fbab6d4141c

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

Sat Jun 14 18:40:25 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jun 14 18:40:25 2025 -0700
tree: 8faf11925dda0b0725d93dc8d8286509c68a8698
parent: ac0c59caae30cf9354d97176bf8d90af8e1b901e [diff]

fix: `grind` ring + linarith internalization

This PR ensures that auxliary terms are not internalized by the ring
and linarith modules.

5 files changed

tree: 8faf11925dda0b0725d93dc8d8286509c68a8698

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.