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

Odkazy pre libcoq-reglang

Sledovanie záplat eLxr

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

virtuálny balík poskytovaný balíkom libcoq-mathcomp-ssreflect
dep: libcoq-stdlib-68yx1

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]