marozolsCliffordProject

Lean formalization of the structure theorem for the single-qudit Clifford group
Displaying 1-1 of 1 versions of CliffordProject
Sort by
  1. Not a part of any version track.
    e420584
    4 days ago
    Released on July 7, 2026 at 2:51:40PM
    Commit e420584 builds on its old leanprover/lean4:v4.30.0
    v4.30.0
    3.6 MB Build archive size: 3605034 bytes.