commit: f0a19b24251a2b79bd9a0de395d034ffb9406197

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

Mon Aug 11 16:54:04 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Aug 11 16:54:04 2025 -0700
tree: 55d886046f2797d5e0327b1f8950183a972033af
parent: 3bf6e6f93c2652cd1c2202dfd0426985ca008bc2 [diff]

feat: abstract some proofs

src/Lean/Meta/Tactic/Grind/Arith/Cutsat/Proof.lean[diff]

1 file changed

tree: 55d886046f2797d5e0327b1f8950183a972033af

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.