Spaces:
Running
Running
File size: 439 Bytes
2740367 3e79038 7175b90 f5511c4 2740367 3e79038 2740367 3e79038 2740367 7175b90 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 |
---
title: Theorem Search
emoji: 📚
colorFrom: purple
colorTo: indigo
sdk: docker
app_port: 8501
tags:
- streamlit
pinned: false
short_description: Find math theorems faster
license: mit
---
# Welcome to Streamlit!
Edit `/src/streamlit_app.py` to customize this app to your heart's desire. :heart:
If you have any questions, checkout our [documentation](https://docs.streamlit.io) and [community
forums](https://discuss.streamlit.io). |