Balík: libcoq-stdlib (8.19.1+dfsg-3) [debports]

[ Zdroj:  ]

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.

Ostatné balíky súvisiace s balíkom libcoq-stdlib

• rec: coq

  asistent dôkazov logiky vyššieho rádu (najvyššia úroveň a kompilátor)

Stiahnuť libcoq-stdlib

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
ppc64 (neoficiálny port)	23,105.4 kB	154,537.0 kB	[zoznam súborov]