initial commit

app.py

@@ -0,0 +1,3 @@
+import gradio as gr
+
+gr.Interface.load("models/morph-labs/morph-prover-v0-7b").launch()