Isabelle
Isabelle is a proof assistant for writing and checking mathematical proofs by computer.
Isabelle Alternatives [Page 2]
The best Isabelle alternatives based on verified products, community votes, reviews and other factors.
Latest update:
-
/steel-bank-common-lisp-alternatives
Steel Bank Common Lisp (SBCL) is a high performance Common Lisp compiler.
-
/cmu-common-lisp-alternatives
CMUCL is a high-performance, free Common Lisp implementation.
-
/solidity-alternatives
Solidity is an object-oriented, high-level language for implementing smart contracts.
-
/matlab-alternatives
A high-level language and interactive environment for numerical computation, visualization, and programming
-
/swift-alternatives
Swift is a general-purpose, multi-paradigm, compiled programming language developed by Apple Inc. for iOS, macOS, watchOS, tvOS, Linux and z/OS.
-
/chicken-alternatives
A portable and efficient cross-platform Scheme implementation that compiles to C.
-
/rust-alternatives
A safe, concurrent, practical language
-
/crystal-programming-language-alternatives
Programming language with Ruby-like syntax that compiles to efficient native code.
-
/clojure-alternatives
Clojure is a dynamic, general-purpose programming language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming.
-
/java-alternatives
A concurrent, class-based, object-oriented, language specifically designed to have as few implementation dependencies as possible
-
/julia-alternatives
Julia is a sophisticated programming language designed especially for numerical computing with specializations in analysis and computational science. It is also efficient for web use, general programming, and can be used as a specification language.
-
/jenkins-alternatives
Jenkins is an open-source continuous integration server with 300+ plugins to support all kinds of software development
-
/the-witcher-3-wild-hunt-alternatives
The Witcher 3: Wild Hunt requires an already remarkable franchise and also requires it to a totally new level of Action Role Playing as you explore the sprawling open landscapes, make decisions, engage in combat and also investigate countless side m…