Spaces:

AI-Quotient
/

theorem-proving-agent

Sleeping

App Files Files Community

theorem-proving-agent

Commit History

Update app.py

7159e61
verified

AI-Quotient commited on Mar 10, 2025

Update app.py

1c48a8d
verified

AI-Quotient commited on Mar 9, 2025

Update app.py

9d26912
verified

AI-Quotient commited on Mar 9, 2025

Update app.py

41bcd2d
verified

AI-Quotient commited on Mar 9, 2025

Update app.py

6167722
verified

AI-Quotient commited on Mar 9, 2025

Update app.py

7635bf3
verified

AI-Quotient commited on Mar 9, 2025

Update requirements.txt

d0843a0
verified

AI-Quotient commited on Mar 9, 2025

Create requirements.txt

67f5749
verified

AI-Quotient commited on Mar 9, 2025

Create app.py

ddb9676
verified

AI-Quotient commited on Mar 9, 2025

initial commit

57c34a2
verified

AI-Quotient commited on Mar 9, 2025