Kim Morrison af22926d53 chore: updates to (failing) grind algebra tests (#8987)		2025-06-25 02:44:59 +00:00
..
field_normalization.lean	fix: grind bogus warning and missing normalization rule (#8797)	2025-06-15 03:44:53 +00:00
module_normalization.lean	fix: grind linarith internalization and HSMul support (#8796)	2025-06-15 02:34:42 +00:00
nat.lean	chore: updates to (failing) grind algebra tests (#8987)	2025-06-25 02:44:59 +00:00
nat_module.lean	chore: updates to (failing) grind algebra tests (#8987)	2025-06-25 02:44:59 +00:00
nlinarith.lean	chore: updates to (failing) grind algebra tests (#8987)	2025-06-25 02:44:59 +00:00
ring_normalization.lean	feat: semiring normalizer in grind (#8953)	2025-06-24 01:09:22 +00:00