URL details: keymaerax.com/download.html#download
URL title:
Install KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems
URL description:
Download KeYmaera X, 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, KeYmaera
URL last crawled:
2023-04-13
URL speed:
0.237 MB/s,
downloaded in 0.100 seconds
We found no external links pointing to this url.