Space: FluffyAIcode/Kakeya-OProver-Lab
title: Kakeya OProver Lab
sdk: static
short_description: Lean proof-training journey and audited results
Tags: static, region:us