Skip to content

LS-Lab/KeYmaeraX-projects

Folders and files

NameName
Last commit message
Last commit date

Latest commit

d2405a1 · Aug 30, 2024
Jul 12, 2022
May 18, 2022
Jun 19, 2024
Jul 12, 2022
Oct 6, 2017
Jan 4, 2021
Jul 29, 2022
Jul 12, 2022
Jan 4, 2021
Jul 29, 2022
Jul 12, 2022
Aug 24, 2022
Jul 12, 2022
Jul 30, 2022
Jun 7, 2024
Jul 30, 2022
Jul 25, 2019
Mar 8, 2022
Jul 30, 2022
Aug 18, 2021
Jan 4, 2021
Jan 4, 2021
Sep 26, 2019
Apr 8, 2022
Jul 27, 2022
Aug 30, 2024

Repository files navigation

KeYmaeraX-projects

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:

http://keymaeraX.org/