marcbehrens / keymaerax-release Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ls-lab/keymaerax-release
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (release)
Home Page: http://keymaeraX.org/
License: GNU General Public License v2.0