leanproverComparator0.1.0

Displaying 1-4 of 4 packages depending on leanprover/Comparator
Sort by

  1. robertylewis/autograderusesv4.33.0

  2. Qiuzhen-CFSG/CFSGusesv4.33.0

    Lean formalization of CFSG

  3. openai/NavierStokesAndEulerusesv4.34.0-rc2

    Lean certificates accompanying Navier-Stokes and Euler results

  4. Hayata-Yamasaki-Group/Quantumusesv4.29.0-rc6

    Lean formalization of the theory of quantum information and quantum computation