neonforestmist/formal-problem-solving-repro

Beyond Theorem Proving — Exact 12/12 CPU Reproduction

An open experiment logbook, published with Trackio.

<!-- Re-indexed at 2026-07-24T06:46:18.568719+00:00 -->