isabelle-utp / Hybrid-Library Public

Notifications You must be signed in to change notification settings
Fork 1
Star 2

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

2 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 15 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

Repository files navigation

Hybrid-Library

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

About

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

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages