commit: 8582e060d406652631bc0c2b9e8035bcf94b8ae6

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

Fri Feb 28 10:33:17 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Feb 28 10:33:17 2025 -0800
tree: 7382f6102936c4e479fcbfaa1ce63e46d3fdc1e9
parent: e5e161801b3ddb8ff3667c1c54e59aa44ea47b4a [diff]

test: add new test

tests/lean/run/grind_cutsat_le_2.lean[Added - diff]

1 file changed

tree: 7382f6102936c4e479fcbfaa1ce63e46d3fdc1e9

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).