`OAI/MathematicalPhysics/RecorderFlows/`

44 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

Effective.lean 15 declarations
Initialized.lean 1 declarations
Main.lean 23 imports, no declarations
Model.lean 24 declarations
Observation.lean 4 declarations