Isabelle
Isabelle is a proof assistant for writing and checking mathematical proofs by computer.
Best Isabelle Alternatives & Competitors in 2025
The best Isabelle alternatives based on verified products, community votes, reviews and other factors.
Filter:
12
Open-Source Alternatives.
Latest update:
-
/coq-alternativesCoq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
-
/agda-alternativesAgda is a dependently typed functional programming language. It has inductive families, i.e.
-
/lean-alternativesClean up your Live Photos
-
/idris-alternativesProgramming, Programming Language, Learning Resources, Languages, and Frontend Development
-
/haskell-alternativesAn advanced purely-functional programming language
-
/python-alternativesPython is a clear and powerful object-oriented programming language, comparable to Perl, Ruby, Scheme, or Java.
-
/racket-lang-alternativesRacket (formerly PLT Scheme) is a modern programming language in the Lisp/Scheme family, suitable...
-
/rust-alternativesA safe, concurrent, practical language
-
/java-alternativesA concurrent, class-based, object-oriented, language specifically designed to have as few implementation dependencies as possible
-
/ceylon-alternativesCeylon is a language designed specifically for writing large programs in teams.
-
/ats-alternativesAmerican Thoracic Society
-
/elixir-alternativesDynamic, functional language designed for building scalable and maintainable applications
-
/clisp-alternativesCLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible.