all options
squeeze  ] [  squeeze-backports  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Source: coq  ]

Package: coq-theories (8.3.pl3+dfsg-1~bpo60+1) [backports]

Links for coq-theories

Screenshot

Debian Resources:

Download Source Package coq:

Maintainers:

External Resources:

Similar packages:

интерактивное программное средство доказательства теорем логики высшего порядка (теории)

Coq — интерактивное программное средство доказательства теорем логики высшего порядка, которое позволяет разрабатывать компьютерные программы в соответствии с их формальной спецификацией. Оно создано с использованием Objective Caml и Camlp5.

Пакет предоставляет существующие теории, на которых могут основываться новые доказательства, включая теории арифметики и булевых значений.

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 52,774.2 kB191,128.0 kB [list of files]