LS-Lab/KeYmaeraX-release

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

语言：Scala · GitHub 星标：105 · Fork：49

话题：axiom · cyber-physical-systems · differential-dynamic-logic · differential-equations · dynamic-logics · dynamical-systems · hybrid-games · hybrid-systems

在 GitHub 上查看原仓库