Isabelle Alternatives

Posted in Software

3 best isabelle alternatives for Windows, Mac, Linux, iPhone, Android and more. isabelle alternative list source: cl.cam.ac.uk

3 alternatives Free, Open Source Linux, Mac, Windows, Web

Website

Compare isabelle alternatives

Compare top-ranked isabelle alternatives by score, license, and supported platforms.

Alternative	Score	License	Platforms
F*	17% 6 votes	Free, Open Source	Web, Windows, Mac, Linux
Coq	50% 6 votes	Free, Open Source	Windows, Mac, Linux
Agda	50% 2 votes	Free, Open Source	Windows, Mac, Linux

F*

Score: 17%

FreeOpen Source WebWindowsMacLinux

Melike F program verification, functional programming language. Detailed specifications for programs, F, can Express the functional correctness, including Features:Free,Open,Source,Mac,Windows,Linux,Web

Coq

Score: 50%

FreeOpen Source WindowsMacLinux

Write rigorous mathematical proofs in a formal way, and the Coq computer proof assistant, which allows you to control and accuracy. That Features:Free,Open,Source,Mac,Windows,Linux

Alternatives

Agda

Score: 50%

FreeOpen Source WindowsMacLinux

Depending on the network-typed, functional programming language. The values, which is connected to inductive families, i.e., types of data, such as the type of the vectors Features:Free,Open,Source,Mac,Windows,Linux

Alternatives