Tool Configuration

KeYmaera X uses backend tools to prove validity of real arithmetic formulas. Z3 is shipped with KeYmaera X for your convenience. Please select your preferred tool.

No configuration necessary.