commit: 5def8d0de36bc061a00f82688373384f981f3d6a

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

Sat Jun 07 22:17:22 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jun 07 22:17:22 2025 -0700
tree: fa2baf5a35cabe205ea2e8bed67d6e36ccaa0d28
parent: e3ab878315b7a3a8de75ce29102c2309c1bf351a [diff]

fix: do not internalize auxiliary ofNatZero linarith constant

Core doesn't need to know that is exists

src/Lean/Meta/Tactic/Grind/Arith/Linear/StructId.lean[diff]

1 file changed

tree: fa2baf5a35cabe205ea2e8bed67d6e36ccaa0d28

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.