Logic of Autonomous Dynamical Systems Lab

Logic of Autonomous Dynamical Systems Lab @ Karlsruhe Institute of Technology

Germany

Pinned Repositories

Coq-dL
A formally verified implementation of differential dynamic logic in Coq
Language:Coq12 7 03
Isabelle-dL
A formally verified implementation of differential dynamic logic in Isabelle
Language:Isabelle4 7 00
KeYmaera-release
Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
Language:Java8 4 04
KeYmaeraX-projects
Projects, models, and proofs in KeYmaera X
Language:Shell5 15 08
KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Language:Scala78 14 11039
orbital
Orbital Library
Language:Java8 7 03
SMC
Language:Java1 3 00

Logic of Autonomous Dynamical Systems Lab's Repositories

LS-Lab/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Language:Scala78 14 11039
LS-Lab/Coq-dL
A formally verified implementation of differential dynamic logic in Coq
Language:Coq12 7 03
LS-Lab/KeYmaera-release
Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
Language:Java8 4 04
LS-Lab/orbital
Orbital Library
Language:Java8 7 03
LS-Lab/KeYmaeraX-projects
Projects, models, and proofs in KeYmaera X
Language:Shell5 15 08
LS-Lab/Isabelle-dL
A formally verified implementation of differential dynamic logic in Isabelle
Language:Isabelle4 7 00
LS-Lab/SMC
Language:Java1 3 00