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:

bevisassistent for højere ordens logik (gtk-brugerflade)

Coq er en bevisassistent for højere ordens logik, som tillader udviklingen af computerprogrammer som overholder deres formelle specifikationer. Det udvikles med brug af Objective Caml og Camlp5.

Denne pakke tilbyder CoqIde, en grafisk brugergrænseflade for udvikling af beviser (»proofs«).

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
riscv64 8.19.1+dfsg-3+b2 2,140.1 kB11,236.0 kB [list of files]