Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
AI-Quotient
/
theorem-proving-agent
like
2
Sleeping
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
d0843a0
theorem-proving-agent
Ctrl+K
Ctrl+K
1 contributor
History:
4 commits
AI-Quotient
Update requirements.txt
d0843a0
verified
5 months ago
.gitattributes
Safe
1.52 kB
initial commit
5 months ago
README.md
Safe
331 Bytes
initial commit
5 months ago
app.py
Safe
5.1 kB
Create app.py
5 months ago
requirements.txt
Safe
12 Bytes
Update requirements.txt
5 months ago
