パッケージ: libcoq-reglang (1.2.1-4 など)

libcoq-reglang に関するリンク

Debian の資源:

coq-reglang ソースパッケージをダウンロード:

メンテナ:

外部の資源:

ホームページ [github.com]

類似のパッケージ:

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.

その他の libcoq-reglang 関連パッケージ

依存

推奨

提案

enhances

dep: libcoq-mathcomp-ssreflect-2ms03 [riscv64]

以下のパッケージによって提供される仮想パッケージです: libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-5qh81 [ppc64el]

以下のパッケージによって提供される仮想パッケージです: libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-hpst9 [amd64]

以下のパッケージによって提供される仮想パッケージです: libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-ir964 [arm64]

以下のパッケージによって提供される仮想パッケージです: libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-kusa1 [ppc64]

以下のパッケージによって提供される仮想パッケージです: libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-nqhp3 [s390x]

以下のパッケージによって提供される仮想パッケージです: libcoq-mathcomp-ssreflect
dep: libcoq-stdlib-cw0z4 [arm64]

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib
dep: libcoq-stdlib-f88b8 [ppc64el]

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib
dep: libcoq-stdlib-orhs4 [amd64]

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib
dep: libcoq-stdlib-qzv05 [s390x]

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib
dep: libcoq-stdlib-twvz5 [ppc64]

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib
dep: libcoq-stdlib-wfue2 [riscv64]

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib

libcoq-reglang のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	1.2.1-4+b4	835.2 kB	2,885.0 kB	[ファイル一覧]
arm64	1.2.1-4+b4	835.5 kB	2,885.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	1.2.1-4	834.9 kB	2,882.0 kB	[ファイル一覧]
ppc64el	1.2.1-4+b4	835.3 kB	2,885.0 kB	[ファイル一覧]
riscv64	1.2.1-4+b4	835.4 kB	2,885.0 kB	[ファイル一覧]
s390x	1.2.1-4+b4	835.3 kB	2,885.0 kB	[ファイル一覧]