Spaces:
Running
Running
File size: 211 Bytes
a98a2b2 |
1 2 3 4 5 6 7 8 9 10 11 12 |
---
title: Search Mathlib
emoji: 🔥
colorFrom: yellow
colorTo: pink
sdk: docker
pinned: false
license: mit
---
Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
|