Balík: coq-theories (8.12.0-3 a iné) [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 coq-theories

• dep: coq-8.12.0+4.11.1

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

• rec: coq (>= 8.0)

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

Stiahnuť coq-theories

Stiahnuť pre všetky dostupné architektúry

Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
x32 (neoficiálny port)	8.12.0-3+b3	23,356.3 kB	166,203.0 kB	[zoznam súborov]