Hugging Face Space: uw-math-ai/theorem-search
Author: uw-math-ai
SDK: docker
title: Theorem Search
app_port: 8501
tags: streamlit
short_description: Find math theorems faster
license: mit