commit: e557cf0b5d8e732d1ba0c5dfb4ad781ca13ea66b

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

Thu Jul 24 16:31:37 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Jul 24 16:31:37 2025 +1000
tree: 4b7357e239423c194663dc28b5600dcf8388f727
parent: 8d5da6491ab06a0b3039fd3c7a517e3bbe6ffad6 [diff]

chore: maintain failing grind tests about Nat as a semiring

tests/lean/grind/algebra/nat_semiring.lean[Renamed from tests/lean/grind/experiments/nat_semiring.lean - diff]

1 file changed

tree: 4b7357e239423c194663dc28b5600dcf8388f727

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.