Projects, examples, models, tactics and proofs in KeYmaera X, which is an aXiomatic Tactical Theorem Prover for Hybrid Systems and Hybrid Games.
To use these verified hybrid systems and hybrid games models, Download KeYmaera X, and load the model with the New Model button after starting KeYmaera X with
java -jar keymaerax.jar
More information and precompiled binaries for KeYmaera X are available at: