simplify

mirror of https://github.com/leanprover/lean4.git synced 2026-03-24 05:44:15 +00:00
chore: add failing grind test
2026-03-24 05:44:15 +00:00 · 2025-05-29 15:33:25 +10:00 · 2025-05-29 15:31:04 +10:00
1 changed files with 1 additions and 0 deletions
--- a/tests/lean/grind/grind_cutsat_zero.lean
+++ b/tests/lean/grind/grind_cutsat_zero.lean
@@ -0,0 +1 @@
+example (hy : y = 0) (hz : z = 0) : 0 = y + z := by grind
Author	SHA1	Message	Date
Kim Morrison	06454fb3d0	simplify	2025-05-29 15:33:25 +10:00
Kim Morrison	059389ab49	chore: add failing grind test	2025-05-29 15:31:04 +10:00
				`@@ -0,0 +1 @@`
				`example (hy : y = 0) (hz : z = 0) : 0 = y + z := by grind`