NavierStokesAndEuler0.1.0
Lean certificates accompanying Navier-Stokes and Euler results
Sort by
Require Order
Comparator
v4.34.0-rc2mathlib
v4.34.0-rc2The math library of Lean 4
NavierStokesAndEuler0.1.0v4.34.0-rc2v4.34.0-rc2