Isabelle
Isabelle is a proof assistant for writing and checking mathematical proofs by computer.
Isabelle Alternatives [Page 3]
The best Isabelle alternatives based on verified products, community votes, reviews and other factors.
Latest update:
-
/apl-alternatives
Array-focused programming language
-
/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…
-
/codeship-alternatives
Codeship is a fast and secure hosted Continuous Delivery platform that scales with your needs.
-
/elm-alternatives
A type inferred, functional reactive language that compiles to HTML, CSS, and JavaScript
-
/sage-math-alternatives
Sage is a free open-source mathematics software system licensed under the GPL.
-
/f-alternatives
F# is a mature, open source, cross-platform, functional-first programming language.
-
/fastapi-alternatives
FastAPI is an Open Source, modern, fast (high-performance), web framework for building APIs with Python 3.6+ based on standard Python type hints.
-
/thunderbird-alternatives
Thunderbird is a free email application that's easy to set up and customize - and it's loaded with great features!
-
/scala-lang-alternatives
Scala is a pure-bred object-oriented language that runs on the JVM
-
/nim-alternatives
GB64.COM is the home of The Gamebase Collection of C64 games.
-
/vue-js-alternatives
Reactive Components for Modern Web Interfaces
-
/ats-alternatives
American Thoracic Society