https://www.keymaerax.org/
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems
KeYmaera X is an aXiomatic Tactical Theorem Prover for Hybrid Systems with a minimal prover microkernel and a flexible tactics language for automatic proof...
keymaera xaxiomatictacticaltheoremprover
https://keymaerax.org/download.html
Install KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems
Download KeYmaera X, an aXiomatic Tactical Theorem Prover for Hybrid Systems with a minimal prover core and a flexible tactics language for automatic proof...
keymaera xinstallaxiomatic