Overview
What is KeYmaera?
KeYmaera : A powerful verification tool designed to be used by hybrid systems that include deductive, real algebraic, and computer algebraic technologies
In depth
A closer look at KeYmaera
KeYmaera allows you to combine the technologies used by multiple applications in order to prove theorems and logic verifications. It is an automated prover system that supports hybrid systems and multiple input types. The program can handle differential equations, inequalities and non-deterministic discrete or continuous input systems.
Verdict
Should you download KeYmaera?
KeYmaera runs on
Windows 10/11
and is available under the
Freeware
license
— the installer is 2 KB.
We’ve catalogued it under
Science and Engineering.
✓
Verified clean. Every KeYmaera build on SoftLookup is scanned for viruses, spyware, adware, trojans and backdoors. We re-test on every update.
Sponsored
At a glance
KeYmaera specifications
- Publisher
-
Andre Platzer
- Last updated
- Apr 30, 2026
- License
- Freeware
- Operating system
- Windows 10/11
- File size
- 2 KB
- Price
- Free
- Page views
- 524
Help fellow users decide. Share your experience with KeYmaera.