Strikeskids/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
ScalaGPL-2.0
No issues in this repository yet.
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
ScalaGPL-2.0
No issues in this repository yet.