Spaces:

uw-math-ai
/

theorem-search

Running

App Files Files Community

theorem-search / .github

442 Bytes

Ctrl+K

Ctrl+K

3 contributors

History: 2 commits

Vilin97's picture

Use force push for HF sync

9c4c6d4 3 months ago

workflows
Use force push for HF sync 3 months ago