Projects, models, and proofs in KeYmaera X
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
LMPC
acasx
benchmarks
bifurcations/saddle-nodes/1D
coasterx
dlds
etcs
games
ghosts_simple
ijrr
itp17
lics
roundabout
scuba
simple
README.md

README.md

KeYmaeraX-projects

Projects, examples, models, and proofs in KeYmaera X, which is an aXiomatic Tactical Theorem Prover KeYmaera X for Hybrid Systems.

More information and precompiled binaries for KeYmaera X are available at:

http://keymaeraX.org/