1 result found Sort:

LS-Lab
KeYmaeraX-release LS-Lab
36
72
gpl-2.0
14
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
axiom proof scala tactics keymaera mathematica hybrid-games dynamic-logics hybrid-systems theorem-prover dynamical-systems cyber-physical-systems differential-equations differential-dynamic-logic
Created 2015-08-26
16,610 commits to master branch, last one 4 days ago