README.md

metadata

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 and community forums.