Spaces:
Running
Running
File size: 446 Bytes
a07e15e e9eed22 a07e15e e9eed22 a07e15e e9eed22 a07e15e e9eed22 ed88954 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 | ---
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).
|