Spaces:

hamoodarabi
/

random

Running

random / app.py

initial commit

32a69c7 over 1 year ago

97 Bytes

	import gradio as gr

	gr.Interface.load("models/kaiyuy/leandojo-lean3-tacgen-byt5-small").launch()