commit: e48303ec9bc77ca9c89d04384e0fba32e5432f09

[log]
author: Kim Morrison <kim@tqft.net>

Wed Aug 06 19:13:34 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Aug 06 19:13:34 2025 +1000
tree: e88853c2a59a9e678f71bd3dd4199069989c2150
parent: 885b8bcc608bc714a4d95b0d5c23cc56c66fdb20 [diff]

chore: failing grind test cases for linarith on ordered fields

tests/lean/grind/algebra/linarith_field.lean[Added - diff]

1 file changed

tree: e88853c2a59a9e678f71bd3dd4199069989c2150

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.