Spaces:
Running
Running
| 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). |