Logic of Autonomous Dynamical Systems Lab

icon indicating a website link http://logic.kastel.kit.edu

icon location Germany icon location Logic of Autonomous Dynamical Systems Lab @ Karlsruhe Institute of Technology

Results 1 repositories owned by Logic of Autonomous Dynamical Systems Lab

KeYmaeraX-release

72
Stars
36
Forks
Watchers

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

verified publisher icon LS-Lab