commit: 9030a76b19008c46e699672858d6a1a5722936da

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

Wed Jul 02 18:52:04 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jul 02 18:52:04 2025 +1000
tree: 5b432a1dd2417d75b695106e72535dd6e3c0ede3
parent: 84cd2c49eb8aa1095d44ecd665608089e618f6a2 [diff]

chore: add (failing) grind ordered field tests

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

1 file changed

tree: 5b432a1dd2417d75b695106e72535dd6e3c0ede3

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.