Package: libcoq-core (9.1.0+dfsg-1)

Links for libcoq-core

Debian Resources:

Download Source Package coq:

Maintainers:

Debian OCaml Maintainers (QA Page, Mail Archive)
Benjamin Barenblat (QA Page)
Julien Puydt (QA Page)
Ralf Treinen (QA Page)
Stéphane Glondu (QA Page)

External Resources:

Homepage [coq.inria.fr]

Similar packages:

Experimental package

Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.

고차 로직용 proof assistant (이론들)

Coq는 형식 명세서를 갖는 컴퓨터 프로그램을 개발 할 수 있는, 고차 로직용 proof assistant입니다. 이것은 Objective Caml 과 Camlp5를 사용해서 개발되었 습니다.

이 패키지는 새로운 proof가 근거를 두고 있는 기존의 이론들을, 알고리즘 이론과 불린 값을 포함해서 제공합니다.

Other Packages Related to libcoq-core

depends

recommends

suggests

enhances

rec: coq

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

Download libcoq-core

Download for all available architectures
Architecture	Package Size	Installed Size	Files
amd64	1,112.1 kB	5,695.0 kB	[list of files]
arm64	1,112.1 kB	5,695.0 kB	[list of files]
ppc64el	1,111.0 kB	5,695.0 kB	[list of files]
s390x	1,111.3 kB	5,695.0 kB	[list of files]