dhruvhead/NavierStokesAndEuler - Morph

SIGN IN SIGN UP

dhruvhead / NavierStokesAndEuler UNCLAIMED

0 0 0 Lean

1 branch

Boris Alexeev .

f9e8bc5 · 1d ago · 2 Commits

	ComparatorChallenges
	Euler
	NavierStokes
	.gitignore		7 B
	Euler.lean		30 B
	formalization.yaml		4.4 KB
	lake-manifest.json		3.7 KB
	lakefile.toml		662 B
	lean-toolchain		29 B
	LICENSE		11.1 KB
	NavierStokes.lean		72 B
	README.md		2.4 KB