Spaces:

uw-math-ai
/

theorem-search

Running

App Files Files Community

theorem-search / .streamlit

63 Bytes

4 contributors

History: 2 commits

slszeto's picture

Update .streamlit/config.toml

1a75cb1 verified 2 days ago

config.toml

63 Bytes

Update .streamlit/config.toml 2 days ago