Spaces:

Duplicated from AI-Quotient/theorem-proving-agent

AI-Quotient
/

polyprob

Running

App Files Files Community

Ctrl+K

Ctrl+K

1 contributor

History: 12 commits

AI-Quotient's picture

Update app.py

d4ffe9c verified 2 months ago