243 followers
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. - Nathan Fulton, Stefan Mitsch, Jan-David… http://t.co/1uC7pIoIuq
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. - Nathan Fulton, Stefan Mitsch, Jan-David… http://t.co/1uC7pIoIuq