All projects
Standalone Lean project
Quantum4Lean
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.
Repository catalog
Exact declarations are not indexed yet
Therefore has checked the project identity, repository, toolchain, and license metadata shown here. Proof-level source will appear only after a pinned ingestion records declarations, source ranges, and revisions.
Inspect the repository