Package: coqide (8.12.0-3 and others) [debports]

[ Source:  ]

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«).

Other Packages Related to coqide

• dep: coq (= 8.12.0-3+b3)

  Bevisassistent for højere ordens logik - topniveau og kompiler

Download coqide

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	8.12.0-3+b3	45.6 kB	111.0 kB	[list of files]