URL details: keymaerax.com/#documentation
URL title:
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems
URL description:
KeYmaera X is an aXiomatic Tactical Theorem Prover for Hybrid Systems with a minimal prover core and a flexible tactics language for automatic proof search.
URL keywords:
KeYmaera X, differential dynamic logic, hybrid systems verification tool, hybrid systems prover, hybrid systems proof, hybrid ga
URL last crawled:
2023-01-07
URL speed:
0.144 MB/s,
downloaded in 0.100 seconds
We found no external links pointing to this url.