Hybrid-Library

Additional theorems and tools to supporting reasoning about hybrid systems in Isabelle/HOL

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
document		document
Cont_Lens.thy		Cont_Lens.thy
Derivative_Lib.thy		Derivative_Lib.thy
Matrix_Syntax.thy		Matrix_Syntax.thy
ODE_Cert.thy		ODE_Cert.thy
README.md		README.md
ROOT		ROOT
Vector_Syntax.thy		Vector_Syntax.thy

Provide feedback