Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Spaces:
benjaminogbonna
/
council-ai-theorem-explorer
Like
0
Running
on
Zero
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
main
council-ai-theorem-explorer
447 kB
Ctrl+K
Ctrl+K
1 contributor
History:
12 commits
benjaminogbonna
Upload app.py
354d757
verified
20 days ago
.gitattributes
Safe
1.52 kB
initial commit
24 days ago
HANDOFF.md
Safe
3.5 kB
for demo
24 days ago
README.md
Safe
1.29 kB
Upload 7 files
24 days ago
app.py
Safe
26.1 kB
Upload app.py
20 days ago
index.html
Safe
1.66 kB
for demo
24 days ago
pyproject.toml
Safe
260 Bytes
Upload 7 files
24 days ago
requirements.txt
Safe
57 Bytes
Upload 7 files
24 days ago
uv.lock
Safe
412 kB
Upload 7 files
24 days ago
