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.
    b2d42ae
    8 days ago
    Released on July 22, 2026 at 1:11:46PM
    Commit b2d42ae builds on its old leanprover/lean4:v4.31.0
    v4.31.0
    4.2 MB Build archive size: 4204948 bytes.