commit: 9d9c923920276a0795f544462b801ae934b7b8c0

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

Sat Oct 25 14:41:31 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Oct 25 14:41:31 2025 -0700
tree: 551f2289f9b487d1ee9ace7c43a89ebe5bf174c7
parent: aa59c0174284771f7be468bc234abb78add47080 [diff]

test: rationals in `grind linarith`

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

1 file changed

tree: 551f2289f9b487d1ee9ace7c43a89ebe5bf174c7

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.