GitHub repository: msaxena2/hybrid-programs-semantics
Primary language: Python
Created: 2020-01-22T19:44:18Z
Description: Semantics of Hybrid Programs (Differential Dynamic Logic) in K