Theorem Hearts

A custom engine forging a bridge between the rigid world of C++ and the infinite truths of Lean.

Architecture

┌───────────────┐  ┌──────────────┐
│  C++ Engine   │←→│  Lean Runtime│
└───────────────┘  └──────────────┘

• Core Engine: C++23. Handles rendering, input, physics, and game loop.
• Lean Runtime: Statically linked for releases, DLL for hot-swap. Provides proof-driven gameplay logic.
• ECS Core: Compile-time SoA archetypes with code generation.

Goals

Merge traditional gameplay with proof-driven mechanics. Duels revolve around puzzle encounters that depend on Lean tactics.