Top 12 Open-Source Alternatives to Isabelle

Isabelle

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

(0 reviews)

Post a review

Visit website Alternatives Status Page

Verify Isabelle Edit

Product categories

Dynamic Programming Language Generic Programming Language IDE OOP Programming Language Technical Computing Text Editors

Summary

The top open-source alternatives to Isabelle are Coq, Agda, and Idris. One of the criteria for ordering this list is the number of mentions that products have on reliable external sources. You can suggest additional sources through the form here.

Coq Landing Page
1

Coq

Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 46 social mentions
Agda Landing Page
2

Agda

Agda is a dependently typed functional programming language. It has inductive families, i.e.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 7 social mentions
Idris Landing Page
3

Idris

Programming, Programming Language, Learning Resources, Languages, and Frontend Development
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 1 social mentions
Haskell Landing Page
4

Haskell

An advanced purely-functional programming language
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 21 social mentions
Python Landing Page
5

Python

Python is a clear and powerful object-oriented programming language, comparable to Perl, Ruby, Scheme, or Java.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 288 social mentions
Racket Lang Landing Page
6

Racket Lang

Racket (formerly PLT Scheme) is a modern programming language in the Lisp/Scheme family, suitable...
Pricing:
- Open Source
#IDE #Programming Language #OOP 95 social mentions
Rust Landing Page
7

Rust

A safe, concurrent, practical language
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 48 social mentions
Elixir Landing Page
8

Elixir

Dynamic, functional language designed for building scalable and maintainable applications
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 82 social mentions
Steel Bank Common Lisp Landing Page
9

Steel Bank Common Lisp

Steel Bank Common Lisp (SBCL) is a high performance Common Lisp compiler.
Pricing:
- Open Source
#IDE #Text Editors #Programming Language 5 social mentions
Zig Landing Page
10

Zig

Zig is a general-purpose programming language designed for robustness, optimality, and maintainability.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 155 social mentions
OCaml Landing Page
11

OCaml

(* Binary tree with leaves carrying an integer.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 32 social mentions
Go Programming Language Landing Page
12

Go Programming Language

Go, also called golang, is a programming language initially developed at Google in 2007 by Robert...
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 322 social mentions