all options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Source: coq  ]

Package: coq-theories (8.4pl4dfsg-1)

Links for coq-theories

Screenshot

Debian Resources:

Download Source Package coq:

Maintainers:

External Resources:

Similar packages:

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.

Tags: Software Development: Libraries, Field: Mathematics, Role: Application Data

Other Packages Related to coq-theories

  • depends
  • recommends
  • suggests
  • enhances

Download coq-theories

Download for all available architectures
Architecture Package Size Installed Size Files
all 31,423.2 kB147,321.0 kB [list of files]