Skip to main content

Inferara

We know that automatic theorem provers1,2 are the most powerful tools to find errors in code. But except inside universities, almost no one uses it.


So we aim to:
  • Make automatic theorem provers accessible to developers
  • Make software more secure
  • Prevent the next multi-million dollar hack
Inference Logo

The first developer-friendly formal specification language designed by Inferara.

Inference lets specify and formally prove code properties without needing a PhD in math.

Learn More

inference-lang.org