Generalized Dynamical Systems — typed compositional specifications for complex systems
python verification game-theory type-system block-diagram mechanism-design pydantic generalized-dynamical-systems compositional-systems categorical-cybernetics system-specification
-
Updated
Feb 24, 2026 - Python