Spaces:

John6666
/

testpipeline

Runtime error

John6666 commited on Nov 28, 2024

Commit

ebc95ee

verified ·

1 Parent(s): 6a9666a

Upload app.py

Files changed (1) hide show

app.py CHANGED Viewed

@@ -27,7 +27,8 @@ interface = gr.Interface(
         placeholder="Prove that the sum of two even numbers is even.",
         lines=4
     ),
-    outputs=gr.Code(label="Generated Lean 4 Code", language="lean"),
     title=title,
     description=description
 )

         placeholder="Prove that the sum of two even numbers is even.",
         lines=4
     ),
+    #outputs=gr.Code(label="Generated Lean 4 Code", language="lean"),
+    outputs=gr.Code(label="Generated Lean 4 Code"),
     title=title,
     description=description
 )