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  
-
No reviews
3likes
0comments
4alternatives
0news articles

Features

Suggest and vote on features
No features, maybe you want to suggest one?

 Tags

  • proofs
  • proof-assistant
  • formulas
  • Math
  • safety
  • isabelle-isar-proof-language
  • formal-language

Isabelle News & Activities

Highlights All activities

Recent activities

Show all 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?
Post comment/review

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