Spaces:

wr1240148048
/

stack_project_to_mathlib4_search

Build error

initial commit

f45d8bc verified 8 months ago

332 Bytes

	---
	title: Stack Project To Mathlib4 Search
	emoji: 🐠
	colorFrom: yellow
	colorTo: purple
	sdk: gradio
	sdk_version: 5.29.0
	app_file: app.py
	pinned: false
	short_description: Search for theorems in Mathlib4 using Stack project' data
	---

	Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference