Balík: coq-theories (8.12.0-3 a iné)

[ Zdroj: coq  ]

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

• 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
amd64	8.12.0-3+b3	35,646.3 kB	280,422.0 kB	[zoznam súborov]
arm64	8.12.0-3+b3	23,365.1 kB	166,283.0 kB	[zoznam súborov]
armel	8.12.0-3+b3	23,353.0 kB	166,204.0 kB	[zoznam súborov]
armhf	8.12.0-3+b3	23,358.1 kB	166,196.0 kB	[zoznam súborov]
i386	8.12.0-3+b3	34,411.8 kB	259,191.0 kB	[zoznam súborov]
mips64el	8.12.0-3+b3	23,361.8 kB	166,287.0 kB	[zoznam súborov]
mipsel	8.12.0-3+b3	23,354.3 kB	166,204.0 kB	[zoznam súborov]
ppc64el	8.12.0-3+b3	23,359.8 kB	166,283.0 kB	[zoznam súborov]