Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

Spaces:

DanielSwift
/

SFOSR

Sleeping

App Files Files Community

Fetching metadata from the HF Docker repository...

SFOSR

Ctrl+K

Ctrl+K

1 contributor

History: 9 commits

DanielSwift's picture

Import ~2000 common concepts

53b8615 about 2 months ago

sfosr_core
Import ~2000 common concepts about 2 months ago
.gitattributes

45 Bytes

Add sfosr.db via Git LFS about 2 months ago
README.md

2.56 kB

Initial SFOSR system with Gradio interface about 2 months ago
app.py
23.5 kB

Refactor UI: Remove LogicBench tab, adapt Proof tab for external JSON about 2 months ago
concepts_to_import.json
153 kB

Import ~2000 common concepts about 2 months ago
manage_concepts.py
3.12 kB

Import ~2000 common concepts about 2 months ago
requirements.txt

21 Bytes

Update dependencies in requirements.txt about 2 months ago
sfosr.db
319 kB
LFS

Import ~2000 common concepts about 2 months ago