coqide
proof assistant for higher-order logic (gtk interface)
Install
- All systems
-
curl cmd.cat/coqide.sh
- Debian
-
apt-get install coqide - Ubuntu
-
apt-get install coqide - Arch Linux
-
pacman -S coqide - Kali Linux
-
apt-get install coqide - Fedora
-
dnf install coqide - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install coqide - Raspbian
-
apt-get install coqide - Dockerfile
- dockerfile.run/coqide
coqide
proof assistant for higher-order logic (gtk interface)
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. This package provides CoqIde, a graphical user interface for developing proofs.