Spaces:
Build error
Build error
File size: 332 Bytes
f45d8bc |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 |
---
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
|