aplatzer

Alexander von Humboldt Professor at Karlsruhe Institute of Technology leading Logical Systems Lab at Carnegie Mellon University

Karlsruhe Institute of Technology

Pinned Repositories

KeYmaeraD
theorem prover for quantified differential dynamic logic
Language:Scala10 7 12
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:Scala77 14 11039
orbital
Orbital Library
Language:Java8 7 03

aplatzer doesn’t have any repository yet.