Verified quantum computing in Lean 4 with FFI bridge to Apple Silicon (Metal 3). Full NISQ stack, dependent types, formal circuit verification, and mathematical translators to Hamiltonians for autonomous AI.
quantum-computingriemannformal-verificationautonomous-agentsqaoavqemetal-frameworkapple-siliconlean4hodgetijdeman
-
Updated
Jul 4, 2026 - Lean