commit: b9a0df7f638876a84df35bf950ef62417def4663

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

Thu Jun 12 16:59:21 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Jun 12 16:59:21 2025 -0700
tree: ba05bb0dc11d20cfb708a97c593a548b92588907
parent: f2501bec6f54a88e0b42cf94b166f9237dff6556 [diff]

tes: test for `IntModule`

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

1 file changed

tree: ba05bb0dc11d20cfb708a97c593a548b92588907

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.