`OAI/MathematicalPhysics/NavierStokes/ForcedComputation/`

4628 declarations, 0 contain sorry, 0 declared as axioms; 576 files

Folders

Detector/ 144 files, 943 declarations
Flow/ 98 files, 1008 declarations
Programs/ 173 files, 1643 declarations
Scalar/ 160 files, 1034 declarations

Files

Main.lean 30 imports, no declarations