organisationscarnegie-mellon-universityCarCarnegie Mellon UniversityPittsburgh, United Stateseducationfunder www.cmu.edu ROR info Wikipedia MapSoftware (1)Projects (0)Releases (56)0FiltersClearOrder byPinnedOrder byKeywords0Program languages0Licenses0Items121-1 of 1KeYmaera XAn aXiomatic Tactical Theorem Prover for Hybrid SystemsAxiomDifferential Dynamic LogicHybrid Systems+ 3ScalaJavaScriptMathematica+ 7164031