[  sarge  ] [  etch  ] [  etch-m68k  ] [  lenny  ] [  sid  ] [  experimental  ]
[ Source: coq  ]

Package: coq-libs (8.1.pl3+dfsg-1)

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

Coq je dokazovací asistent logiky vyššího řádu, který umožňuje vývoj počítačových programů konzistentních s jejich formálními specifikacemi. Je vyvíjen pomocí objektového Caml a Camlp4. Pro více informací se podívejte na <http://coq.inria.fr/>.

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

Tags: Software Development: Libraries, Field: Mathematics, Role: Development Library

Other Packages Related to coq-libs

  • depends
  • recommends
  • suggests
  • dep: tex-common (>= 0.7)
    common infrastructure for building and installing TeX
  • rec: coq (>= 8.0)
    Dokazovací nástroj vyšší logiky (nejvyšší úroveň a kompilátor)

Download coq-libs

Download for all available architectures
Architecture Package Size Installed Size Files
all 12,296.8 kB37820 kB [list of files]