Update README

marcusrossel · Apr 16, 2024 · b238b5e · b238b5e
1 parent 94f1b2a
commit b238b5e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -48,7 +48,7 @@ example : ((a * b) - (2 * c)) * d - (a * b) = (d - 1) * (a * b) - (2 * c * d) :=
 ```
 
 Sometimes, `egg` needs a little help with finding the correct sequence of rewrites.
-You can help out by proving _guide terms_ with `using`:
+You can help out by providing _guide terms_ with nudge `egg` to try certain paths:
 
 ```lean
 -- From Lean/Egg/Tests/Groups.lean