all options
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: coq  ]

Package: coqide (8.19.1+dfsg-3 and others)

Links for coqide

Screenshot

Debian Resources:

Download Source Package coq:

Maintainers:

External Resources:

Similar packages:

assistente de prova para lógica de ordem superior (interface gtk)

Coq é um assistente de prova para lógica de ordem superior, que permite o desenvolvimento de programas de computador coerente com suas especificações formais. Ele é desenvolvido usando Objective Caml e Camlp5.

Este pacote fornece o CoqIde, uma interface gráfica para o desenvolvimento de provas.

Tags: Software Development: IDE, Field: Mathematics, Implemented in: implemented-in::ocaml, interface::graphical, User Interface: X Window System, Role: role::program, scope::application, Interface Toolkit: GTK, Ncurses TUI, Purpose: use::checking, x11::application

Other Packages Related to coqide

  • depends
  • recommends
  • suggests
  • enhances

Download coqide

Download for all available architectures
Architecture Version Package Size Installed Size Files
ppc64el 8.19.1+dfsg-3+b3 2,136.4 kB11,272.0 kB [list of files]