Balík: coq-theories (8.9.0-1)

Odkazy pre coq-theories

Zdroje Debian:

Stiahnuť zdrojový balík coq:

Správcovia:

Externé zdroje:

Domovská stránka [coq.inria.fr]

Podobné balíky:

asistent dôkazov logiky vyššieho rádu (teórie)

Coq je asistent dôkazov logiky vyššieho rádu, ktorý umožňuje vývoj počítačových programov v súlade s ich formálnou špecifikáciou. Bol vyvinutý pomocou Objective Caml a Camlp5.

Tento balík poskytuje existujúce teórie, na ktorých je možné zakladať nové dôkazy, vrátane teórie aritmetických a booleovských hodnôt.

Značky: Software Development: Knižnice, Pole: Matematika, Role: Dáta aplikácie

Ostatné balíky súvisiace s balíkom coq-theories

závisí

odporúča

navrhuje

vylepšuje

dep: coq-8.9.0+4.05.0

virtuálny balík poskytovaný balíkom coq

rec: coq (>= 8.0)

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

Stiahnuť coq-theories

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
armhf	19,874.8 kB	130,396.0 kB	[zoznam súborov]