zbloreame1250.1.0

Lean 4 proof that an AME(12,5) state exists, against Formal Conjectures' Open Quantum Problem 35, via a general graph-state criterion
Displaying 1-1 of 1 versions of ame125
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    12 days ago
    Released on November 2, 2026 at 10:36:57AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.35.0-rc3