Package: coq-libs (8.0pl3-2)

Links for coq-libs

Debian Resources:

Download Source Package coq:

Maintainers:

Debian OCaml Maintainers (QA Page, Mail Archive)
Ralf Treinen (QA Page)
Sven Luther (QA Page)
Remi Vanicat (QA Page)
Stefano Zacchiroli (QA Page)
Samuel Mimram (QA Page)

Similar packages:

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

Coq는 형식 명세서를 갖는 컴퓨터 프로그램을 개발 할 수 있는, 고차 로직용 proof assistant입니다. 이것은 Objective Caml 및 Camlp4를 사용해서 개발되었습니다. 더 많은 정보를 원하시면 아래 사이트를 방문하시기 바랍니다. <http://coq.inria.fr/>

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

Tags: Software Development: Libraries, Field: Mathematics, Implemented in: OCaml, Role: Development Library

Other Packages Related to coq-libs

depends

recommends

suggests

rec: coq (>= 8.0)

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

Download coq-libs

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	3,649.4 kB	6800 kB	[list of files]