Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
DanielSwift
/
SFOSR
like
0
Sleeping
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
8992f8c
SFOSR
Ctrl+K
Ctrl+K
1 contributor
History:
8 commits
DanielSwift
Refactor UI: Remove LogicBench tab, adapt Proof tab for external JSON
8992f8c
5 months ago
sfosr_core
Initial SFOSR system with Gradio interface
5 months ago
.gitattributes
Safe
45 Bytes
Add sfosr.db via Git LFS
5 months ago
README.md
Safe
2.56 kB
Initial SFOSR system with Gradio interface
5 months ago
app.py
23.5 kB
Refactor UI: Remove LogicBench tab, adapt Proof tab for external JSON
5 months ago
requirements.txt
Safe
21 Bytes
Update dependencies in requirements.txt
5 months ago
sfosr.db
Safe
119 kB
LFS
Add sfosr.db via Git LFS
5 months ago
