commit: af039db32116974850e8c77d17fb97bb53a7cf81

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

Tue Jul 01 21:46:08 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jul 01 21:46:08 2025 -0700
tree: 0d9e7ebc728af26fe292afe7acd40ae07e286631
parent: 8c0cff83bde448fa5cc98b8104c7c6c3793df3a8 [diff]

feat: improve linarith `markVars`

This PR improves the linarith `markVars`, and ensures it does not
produce spurious issue messages.

5 files changed

tree: 0d9e7ebc728af26fe292afe7acd40ae07e286631

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.