Paket: coq-theories (8.12.0-3 och andra)

Länkar för coq-theories

Debianresurser:

Hämta källkodspaketet coq:

Ansvariga:

Debian OCaml Maintainers (QA-sida, E-postarkiv)
Benjamin Barenblat (QA-sida)
Ralf Treinen (QA-sida)
Stéphane Glondu (QA-sida)
Enrico Tassi (QA-sida)

Externa resurser:

Hemsida [coq.inria.fr]

Liknande paket:

proof assistant for higher-order logic (theories)

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.

Märken: Software Development: Bibliotek, Field: Matematik, Role: Application Data

Andra paket besläktade med coq-theories

beror

rekommenderar

föreslår

enhances

dep: coq-8.12.0+4.11.1

virtuellt paket som tillhandahålls av coq

rec: coq (>= 8.0)

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

Hämta coq-theories

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
i386	8.12.0-3+b3	34.411,8 kbyte	259.191,0 kbyte	[filförteckning]