Spaces:

Sugutt
/

repro-editable-proof-sketch

Running

App Files Files Community

repro-editable-proof-sketch

670 kB

Ctrl+K

Ctrl+K

1 contributor

History: 4 commits

Sugutt's picture

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

1688b68 verified about 1 month ago

pages
Update logbook: Repro - Editable Proof Sketch for Automated Theorem Proving about 1 month ago
.gitattributes

1.52 kB
initial commit about 1 month ago
.serve.log

0 Bytes
Update logbook: Repro - Editable Proof Sketch for Automated Theorem Proving about 1 month ago
README.md

414 Bytes
Update logbook: Repro - Editable Proof Sketch for Automated Theorem Proving about 1 month ago
bucket-icon.svg

413 Bytes
Update logbook: Repro - Editable Proof Sketch for Automated Theorem Proving about 1 month ago
index.html

1.9 kB
Update logbook: Repro - Editable Proof Sketch for Automated Theorem Proving about 1 month ago
logbook.css

29.6 kB
Update logbook: Repro - Editable Proof Sketch for Automated Theorem Proving about 1 month ago
logbook.js

77.3 kB
Update logbook: Repro - Editable Proof Sketch for Automated Theorem Proving about 1 month ago
logbook.json

1.42 kB
Update logbook: Repro - Editable Proof Sketch for Automated Theorem Proving about 1 month ago
style.css

388 Bytes
initial commit about 1 month ago
trackio-logo-light.png

30 kB
Update logbook: Repro - Editable Proof Sketch for Automated Theorem Proving about 1 month ago
trackio-logo.png

55.6 kB
Update logbook: Repro - Editable Proof Sketch for Automated Theorem Proving about 1 month ago
trackio-wordmark-dark.png

89.8 kB
Update logbook: Repro - Editable Proof Sketch for Automated Theorem Proving about 1 month ago