Balík: coqide (8.12.0-3 a iné) [debports]

[ Zdroj:  ]

asistent dôkazov logiky vyššieho rádu (rozhranie GTK)

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 CoqIde, grafické používateľské rozhranie na vývoj dôkazov.

Ostatné balíky súvisiace s balíkom coqide

• dep: coq (= 8.12.0-3+b3)

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

Stiahnuť coqide

Stiahnuť pre všetky dostupné architektúry

Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
alpha (neoficiálny port)	8.12.0-3+b3	45.6 kB	111.0 kB	[zoznam súborov]