Spaces:

AI-Quotient
/

theorem-proving-agent

Sleeping

App Files Files Community

theorem-proving-agent

Commit History

Create requirements.txt

67f5749
verified

AI-Quotient commited on Mar 9

Create app.py

ddb9676
verified

AI-Quotient commited on Mar 9

initial commit

57c34a2
verified

AI-Quotient commited on Mar 9