commit: d91ff972473966eba5cb0a19425ac36a1b063b3c

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

Mon May 19 10:06:06 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Mon May 19 10:06:06 2025 +1000
tree: 3da1aaa8e965c23dd64aeea43012eb543f29029e
parent: ca037ded0dbfe4fd23c853615ed6386f88dff6ba [diff]

chore: add failing grind tests for noncommutative/non-negation rings

tests/lean/grind/ring_normalization.lean[Added - diff]

1 file changed

tree: 3da1aaa8e965c23dd64aeea43012eb543f29029e

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.