Spaces:

DanielSwift
/

SFOSR

Sleeping

App Files Files Community

SFOSR / app.py

Commit History

Refactor UI: Remove LogicBench tab, adapt Proof tab for external JSON

8992f8c

DanielSwift commited on Apr 10

Add LogicBench integration tab (UI and placeholder logic)

6d67071

DanielSwift commited on Apr 10

Enhance UI with detailed instructions, Russian localization, and examples

df59efe

DanielSwift commited on Apr 10

Add diagnostic information for troubleshooting

e0845f9

DanielSwift commited on Apr 10

Initial SFOSR system with Gradio interface

2249e80

DanielSwift commited on Apr 10