CoqIDE Proof Assistant

Graphical interface for the Coq proof assistant

Not tested on a device yet. What that means

About CoqIDE Proof Assistant

From Debian's package description

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.

From Debian's description of the coqide package, under that package's license.

Menu categories: Math, IDE, Development, Science

Dependencies

Depends on

coq
libc6
libcairo2
libfontconfig1
libfreetype6
libgdk-pixbuf-2.0-0
libglib2.0-0t64
libgtk-3-0t64
libgtksourceview-3.0-1
libpango-1.0-0

Related apps

All Linux development tools

Sources and licenses

Name and summary: the desktop entry in Debian's coqide package, under that package's license.
Description: Debian's description of the coqide package, under that package's license.
Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
Popularity: Debian Popularity Contest counts.