Spaces:
Runtime error
Runtime error
Update app.py
Browse files
app.py
CHANGED
@@ -30,7 +30,8 @@ demo = gr.Interface(fn=logic,
|
|
30 |
'ALLx (Project(x) IMPLY (WrittenIn(x, python) XR WrittenIn(x, c++)))'
|
31 |
],
|
32 |
title="Logic Translator",
|
33 |
-
description="Type English for logic symbols
|
|
|
34 |
live=True)
|
35 |
|
36 |
demo.launch()
|
|
|
30 |
'ALLx (Project(x) IMPLY (WrittenIn(x, python) XR WrittenIn(x, c++)))'
|
31 |
],
|
32 |
title="Logic Translator",
|
33 |
+
description="Type English for logic symbols!
|
34 |
+
β§:AND, β¨:OR, Β¬:NOT, β:XR, β:IMPLY, β:EQUIV, β:ALL, β:EXIST (you can input multi-line sentences)",
|
35 |
live=True)
|
36 |
|
37 |
demo.launch()
|