Isabelle icon
Isabelle icon

Isabelle

 3 likes

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

Isabelle screenshot 1

License model

  • Free • Open Source

Platforms

  • Mac
  • Windows
  • Linux
Isabelle alternatives  
  No rating
3likes
0comments
3alternatives
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

No activities found.

Isabelle information

  • Developed by

    Larry Paulson and Tobias Nipkow

  • Licensing

    Open Source and Free product.

  • Alternatives

    3 alternatives listed

  • Supported Languages

    • English

AlternativeTo Category

Education & Reference

Popular alternatives

View all

Our users have written 0 comments and reviews about Isabelle, and it has gotten 3 likes

Isabelle was added to AlternativeTo by greenrd on Aug 20, 2010 and this page was last updated Feb 22, 2018. 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