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

1848404

verified

Sugutt commited on Jul 17