Spaces:

Sugutt
/

repro-editable-proof-sketch

Running

App Files Files Community

repro-editable-proof-sketch

Commit History

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

1688b68
verified

Sugutt commited on Jul 17

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

6fd871a
verified

Sugutt commited on Jul 17

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

1848404
verified

Sugutt commited on Jul 17

initial commit

c3e36a8
verified

Sugutt commited on Jul 17