leanproververso-slides0.1.0

Displaying 1-2 of 2 packages depending on leanprover/verso-slides
Sort by

  1. marozols/CliffordProjectuses2b5ce1f

    Lean formalization of the structure theorem for the single-qudit Clifford group

  2. lexzaiello/Dccuses2b5ce1f

    The dependently-typed combinator calculus (DCC).