isabelle-utp / Hybrid-Library

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

Geek Repo

Github PK Tool