commit: 009fe35ebbca1c809988ab257045d9894503eaa2

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

Sat Feb 08 20:10:27 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Feb 08 20:10:27 2025 -0800
tree: ba5106004943bf23d93ab3496ebbb4408f849a17
parent: a8bdfcd120c1eafad4393b4c87d4cc7df30bec55 [diff]

chore: compare the constraints

src/Lean/Meta/Tactic/LinearArith/Int/Simp.lean[diff]

1 file changed

tree: ba5106004943bf23d93ab3496ebbb4408f849a17

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 (documentation source: doc/make/index.md).