Spaces:

Duplicated from AI-Quotient/theorem-proving-agent

AI-Quotient
/

polyprob

Sleeping

App Files Files Community

Commit History

Update app.py

735d35a
verified

AI-Quotient commited on Mar 30, 2025

Update app.py

ed00423
verified

AI-Quotient commited on Mar 30, 2025

Update app.py

6dc8c56
verified

AI-Quotient commited on Mar 30, 2025

Update app.py

e7b233c
verified

AI-Quotient commited on Mar 30, 2025

Update app.py

ac0b367
verified

AI-Quotient commited on Mar 30, 2025

Update app.py

00104af
verified

AI-Quotient commited on Mar 23, 2025

Update README.md

d58fa88
verified

AI-Quotient commited on Mar 23, 2025

Update app.py

d4ffe9c
verified

AI-Quotient commited on Mar 16, 2025

Update app.py

4fdc471
verified

AI-Quotient commited on Mar 16, 2025

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