Package: coq-theories (8.9.0-1)

[ Source: coq  ]

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

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

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

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

Other Packages Related to coq-theories

• dep: coq-8.9.0+4.05.0

  virtual package provided by coq

• dep: libc6 (>= 2.1.3) [i386]

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.2.5) [amd64]

• rec: coq (>= 8.0)

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

Download coq-theories

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	29,040.7 kB	216,590.0 kB	[list of files]
arm64	19,890.3 kB	130,479.0 kB	[list of files]
armhf	19,874.8 kB	130,396.0 kB	[list of files]
i386	27,749.0 kB	196,706.0 kB	[list of files]