Spaces:
Runtime error
Runtime error
Update app.py
Browse files
app.py
CHANGED
@@ -24,13 +24,14 @@ demo = gr.Interface(fn=logic,
|
|
24 |
inputs="text", outputs="text",
|
25 |
examples=[
|
26 |
'ALLx (Student(x) IMPLY Smart(x))',
|
27 |
-
'EXISTx (TShirt(x) AND Buy(
|
28 |
'ALLx ((Animal(x) AND Fluffy(x)) IMPLY (Rabbit(x) OR Sheep(x)))',
|
29 |
'(GoDowntown(james) AND NOTCarry(james, bag)) EQUIV Buy(james, book)',
|
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()
|
|
|
24 |
inputs="text", outputs="text",
|
25 |
examples=[
|
26 |
'ALLx (Student(x) IMPLY Smart(x))',
|
27 |
+
'EXISTx (TShirt(x) AND Buy(adam, x))',
|
28 |
'ALLx ((Animal(x) AND Fluffy(x)) IMPLY (Rabbit(x) OR Sheep(x)))',
|
29 |
'(GoDowntown(james) AND NOTCarry(james, bag)) EQUIV Buy(james, book)',
|
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",
|
35 |
live=True)
|
36 |
|
37 |
demo.launch()
|