alle opties
squeeze  ] [  squeeze-backports  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ] [  experimental  ]
[ Bron: coq  ]

Pakket: coqide (8.3.pl4+dfsg-2)

Verwijzigingen voor coqide


Debian bronnen:

Het bronpakket coq downloaden:


Externe bronnen:

Vergelijkbare pakketten:

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.

Tags: Softwareontwikkeling: IDE, Field: Wiskunde, Implemented in: OCaml, User Interface: interface::x11, role::program, Scope: Application, Interface Toolkit: GTK, uitoolkit::ncurses, use::checking, X Window Systeem: Application

Andere aan coqide gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

coqide downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
armel 5.999,7 kB18.528,0 kB [overzicht]