Hugging Face's logo

Spaces:
Sugutt
/
repro-editable-proof-sketch
Running

App Files Community
repro-editable-proof-sketch / logbook.json

Commit History

Update logbook: Repro - Editable Proof Sketch for Automated Theorem Proving
1688b68
verified

Sugutt commited on

Update logbook: Repro - Editable Proof Sketch for Automated Theorem Proving
6fd871a
verified

Sugutt commited on

Update logbook: Repro - Editable Proof Sketch for Automated Theorem Proving
1848404
verified

Sugutt commited on