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...

602 kB

1 contributor

History: 9 commits

DanielSwift's picture

Import ~2000 common concepts

53b8615 11 months ago

sfosr_core
Import ~2000 common concepts 11 months ago
.gitattributes

45 Bytes

Add sfosr.db via Git LFS 11 months ago
README.md

2.56 kB

Initial SFOSR system with Gradio interface 11 months ago
app.py

23.5 kB

Refactor UI: Remove LogicBench tab, adapt Proof tab for external JSON 11 months ago
concepts_to_import.json

153 kB

Import ~2000 common concepts 11 months ago
manage_concepts.py

3.12 kB

Import ~2000 common concepts 11 months ago
requirements.txt

21 Bytes

Update dependencies in requirements.txt 11 months ago
sfosr.db

319 kB
xet

Import ~2000 common concepts 11 months ago