Package: debian-coq-tools (0.13)

[ Source: dh-coq  ]

vari strumenti per gestire pacchetti Debian relativi a Coq

Questi strumenti rendono più facile tracciare le dipendenze dei pacchetti e le possibili situazioni difettose, e mantenere sano l'intero stack Coq-in-Debian.

Coq è un assistente alle dimostrazioni per logiche di ordine superiore.

Other Packages Related to debian-coq-tools

• dep: python3

  interactive high-level object-oriented language (default python3 version)

Download debian-coq-tools

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	9.4 kB	38.0 kB	[list of files]