Commit
•
eec2898
1
Parent(s):
90cb91f
Update README.md
Browse files
README.md
CHANGED
|
@@ -3,4 +3,7 @@
|
|
| 3 |
Proofs have been cleaned up a bit. In particular, they use:
|
| 4 |
* `CITE` for any citation
|
| 5 |
* `REF` for any reference
|
| 6 |
-
* `MATH` for any LaTeX mathematical formula
|
|
|
|
|
|
|
|
|
|
|
|
| 3 |
Proofs have been cleaned up a bit. In particular, they use:
|
| 4 |
* `CITE` for any citation
|
| 5 |
* `REF` for any reference
|
| 6 |
+
* `MATH` for any LaTeX mathematical formula
|
| 7 |
+
* `CASE:` for any `\item` or labeled subcase.
|
| 8 |
+
|
| 9 |
+
For text generation, I recommend prompts like `Let MATH be given.` or `By the inductive hypothesis,`
|