Update logbook: Beyond Theorem Proving — Exact 12/12 CPU Reproduction d4eaded verified neonforestmist commited on Jul 20
Update logbook: Beyond Theorem Proving — Exact 12/12 CPU Reproduction 9edb571 verified neonforestmist commited on Jul 20
Update logbook: Beyond Theorem Proving — Exact 12/12 CPU Reproduction d9e3ca9 verified neonforestmist commited on Jul 20
Update logbook: Beyond Theorem Proving — Exact 12/12 CPU Reproduction 7801dec verified neonforestmist commited on Jul 20
neonforestmist commited on 