leanproverComparator0.1.0

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

  1. robertylewis/autograderusesv4.33.0

  2. openai/NavierStokesAndEulerusesv4.34.0-rc2

    Lean certificates accompanying Navier-Stokes and Euler results