Spaces:

Duplicated from AI-Quotient/theorem-proving-agent

AI-Quotient
/

polyprob

Running

App Files Files Community

Commit History

Update requirements.txt

d0843a0
verified

AI-Quotient commited on 21 days ago

Create requirements.txt

67f5749
verified

AI-Quotient commited on 21 days ago

Create app.py

ddb9676
verified

AI-Quotient commited on 21 days ago

initial commit

57c34a2
verified

AI-Quotient commited on 21 days ago