Balík: libcoq-reglang (1.2.1-4 a iné)

Odkazy pre libcoq-reglang

Zdroje Debian:

Stiahnuť zdrojový balík coq-reglang:

Správcovia:

Externé zdroje:

Domovská stránka [github.com]

Podobné balíky:

representation of regular languages in Coq

This package provides definitions and verified translations between different representations of regular languages for Coq: miscellaneous automata, regular expressions, WS1S logic. It also contains various decidability results and closure properties of regular languages.

Coq is a proof assistant for higher-order logic.

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

závisí

odporúča

navrhuje

vylepšuje

dep: libcoq-mathcomp-ssreflect-08jv4 [amd64]

virtuálny balík poskytovaný balíkom libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-b7bi4 [ppc64el]

virtuálny balík poskytovaný balíkom libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-ga8c0 [arm64]

virtuálny balík poskytovaný balíkom libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-ibz35 [riscv64]

virtuálny balík poskytovaný balíkom libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-vse99 [s390x]

virtuálny balík poskytovaný balíkom libcoq-mathcomp-ssreflect
dep: libcoq-stdlib-1ns11 [arm64]

virtuálny balík poskytovaný balíkom libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

virtuálny balík poskytovaný balíkom libcoq-stdlib
dep: libcoq-stdlib-8jeh0 [s390x]

virtuálny balík poskytovaný balíkom libcoq-stdlib
dep: libcoq-stdlib-q0rh7 [ppc64el]

virtuálny balík poskytovaný balíkom libcoq-stdlib
dep: libcoq-stdlib-wthf1 [riscv64]

virtuálny balík poskytovaný balíkom libcoq-stdlib

Stiahnuť libcoq-reglang

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	1.2.1-4+b14	855.0 kB	2,834.0 kB	[zoznam súborov]
arm64	1.2.1-4+b13	854.9 kB	2,834.0 kB	[zoznam súborov]
ppc64el	1.2.1-4+b13	854.9 kB	2,834.0 kB	[zoznam súborov]
riscv64	1.2.1-4+b13	855.0 kB	2,834.0 kB	[zoznam súborov]
s390x	1.2.1-4+b14	854.9 kB	2,834.0 kB	[zoznam súborov]