Package: libcoq-stdlib (8.19.1+dfsg-3) [debports]

[ Source:  ]

Asistent dokazovací logiky vyššího řádu (teorie)

Coq je osvědčený pomocník vyšší logiky, který vám umožní vytvářet konzistentní počítačové programy pomocí jejich formální specifikace. Je vytvořen za pomoci Objective Caml a Camlp5.

Tento balíček obsahuje stávající teorie, na kterých může program zakládat, včetně teorie aritmetiky a booleovské algebry.

Other Packages Related to libcoq-stdlib

• rec: coq

  proof assistant for higher-order logic (toplevel and compiler)

Download libcoq-stdlib

Download for all available architectures

Architecture	Package Size	Installed Size	Files
ppc64 (unofficial port)	23,105.4 kB	154,537.0 kB	[list of files]