AlektronnikQuantum4Lean

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.
Displaying 1-5 of 5 versions of Quantum4Lean
Sort by
  1. Not a part of any version track.
    0a4ec3a
    16 days ago
    Released on July 4, 2026 at 8:23:07PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.31.0
  2. Not a part of any version track.
    b24fca5
    v0.8.0
    16 days ago
    Released on July 4, 2026 at 8:07:45PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.31.0
  3. Not a part of any version track.
    c3f5f38
    v0.7.0
    17 days ago
    Released on July 3, 2026 at 12:39:05PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.31.0
  4. Not a part of any version track.
    8d0721e
    v0.6.1
    17 days ago
    Released on July 3, 2026 at 10:06:51AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.7.0
  5. Not a part of any version track.
    25fc016
    v0.5.0
    18 days ago
    Released on July 2, 2026 at 11:56:44PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.7.0