Spaces:

wr1240148048
/

stack_project_to_mathlib4_search

Build error

App Files Files Community

stack_project_to_mathlib4_search / README.md

wr1240148048

initial commit

f45d8bc verified 8 months ago

preview code

raw

history blame contribute delete

332 Bytes

A newer version of the Gradio SDK is available: 6.2.0

Upgrade

metadata

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