commit: 11f3f5ef4cb153e45006c7c6bda1f4f88bc19bcf

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

Thu Jul 24 21:18:41 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Jul 24 21:18:41 2025 -0700
tree: 37b237304a11407a1c4dbbbe269e21896faf5004
parent: 1cf2aaf9bb3890bc52344b4a628a6994f1fe87ab [diff]

test: remove workaround

tests/lean/run/grind_cutsat_omega.lean[diff]

1 file changed

tree: 37b237304a11407a1c4dbbbe269e21896faf5004

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.