|
|
207.
|
|
|
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.
|
|
|
Description
|
|
|
|
|
Coq è un assistente alle dimostrazioni per logiche di ordine superiore che permette lo sviluppo di programmi per computer coerenti con la loro specifica formale. È sviluppato con Objective Caml e Camlp5.
|
|
Translated and reviewed by
Gianfranco Frisani
|
|
|
|
Located in
Package: coq-doc-pdf
Package: coq-doc-html
Package: coq-doc
|
|
|
208.
|
|
|
This package contains its documentation and tutorials in pdf format.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: coq-doc-pdf
|
|
|
209.
|
|
|
Open source clone of Theme Hospital
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: corsix-th
|
|
|
210.
|
|
|
Open source clone of Theme Hospital (data package)
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: corsix-th-data
|
|
|
211.
|
|
|
Theme Hospital was a simulation computer game developed by Bullfrog Productions and published by Electronic Arts in 1997, in which the player designs and operates a hospital.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: corsix-th-data
Package: corsix-th
|
|
|
212.
|
|
|
The game currently requires the original graphics and tries to mimic the original as closely as possible. Therefore you will need a copy of the original game for this package to be useful.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: corsix-th-data
Package: corsix-th
|
|
|
213.
|
|
|
(This package contains the data files)
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: corsix-th-data
|
|
|
214.
|
|
|
Documentation for the cpio package
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: cpio-doc
|
|
|
215.
|
|
|
Documentation for GNU cpio in info format, which is not distributed in Debian main because it is licensed under the GFDL with front and back cover texts that violate the DFSG.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: cpio-doc
|
|
|
216.
|
|
|
state-of-the-art chess engine, compatible with xboard
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: crafty
|
