Spaces:
Running
Running
| title: Kakeya OProver Lab | |
| emoji: 🧩 | |
| colorFrom: indigo | |
| colorTo: blue | |
| sdk: static | |
| short_description: Lean proof-training journey and audited results | |
| # Kakeya OProver Lab | |
| Static, token-free public report. No backend, GPU, paid hardware, telemetry, or external tracker. | |
| ## Release Manifest | |
| The content-addressed public/private boundary and immutable asset references are in [`release-manifest.json`](./blob/main/release-manifest.json). | |