Parameter Analysis Websites
KeYmaera X: A Hybrid Systems Theorem Prover
- keymaerax.com
KeYmaera X is a next-generation theorem prover for hybrid systems with a minimal prover core and a flexible tactics language for automatic proof search.
Not Applicable
$
8.95