Update README.md
Browse files
README.md
CHANGED
@@ -7,6 +7,10 @@ tags:
|
|
7 |
- tex2log
|
8 |
- log2tex
|
9 |
- foc
|
|
|
|
|
|
|
|
|
10 |
model-index:
|
11 |
- name: t5-small-text2log
|
12 |
results: []
|
|
|
7 |
- tex2log
|
8 |
- log2tex
|
9 |
- foc
|
10 |
+
|
11 |
+
widget:
|
12 |
+
- text: "translate to nl: all x1.(_explanation(x1) -> -_equal(x1))"
|
13 |
+
|
14 |
model-index:
|
15 |
- name: t5-small-text2log
|
16 |
results: []
|