Isabelle icon
Isabelle icon

Isabelle

Isabelle is a proof assistant for writing and checking mathematical proofs by computer.

Isabelle screenshot 1

Cost / License

  • Free
  • Open Source

Platforms

  • Mac
  • Windows
  • Linux
Isabelle alternatives  
3likes
0comments
4alternatives
0articles

Features

Isabelle News & Activities

Highlights All activities

Recent activities

Isabelle information

  • Developed by

    Larry Paulson and Tobias Nipkow

  • Licensing

    Open Source and Free product.

  • Alternatives

    4 alternatives listed

  • Supported Languages

    • English

AlternativeTo Category

Education & Reference

Popular alternatives

View all
Isabelle was added to AlternativeTo by greenrd on and this page was last updated . Isabelle is sometimes referred to as jEdit Prover IDE, Isabelle Prover IDE, jEdit, Isabelle/jEdit, Isabelle jEdit, Isabelle PIDE, PIDE. 
No comments or reviews, maybe you want to be first?

What is Isabelle?

Isabelle is a proof assistant for writing and checking mathematical proofs by computer. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus.

Isabelle Videos

Official Links

AppStores & Other Links