معرفی شرکت ها

libcoq-reglang_1.1.3-2+b1_s390x.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

representation of regular languages in Coq
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main s390x
نام بسته libcoq-reglang
نام فایل بسته libcoq-reglang_1.1.3-2+b1_s390x.deb
نسخه بسته 1.1.3
انتشار بسته 2+b1
معماری بسته s390x
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/coq-community/reglang
مجوز -
حجم دانلود 724468
حجم نصب 1757
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_1.1.3-2+b1_amd64.deb 1.1.3 amd64 Debian main
libcoq-reglang_1.1.3-2+b1_arm64.deb 1.1.3 arm64 Debian main
libcoq-reglang_1.1.3-2+b1_armhf.deb 1.1.3 armhf Debian main
libcoq-reglang_1.1.3-2+b1_i386.deb 1.1.3 i386 Debian main
libcoq-reglang_1.1.3-2+b1_ppc64el.deb 1.1.3 ppc64el Debian main


نیازمندی

مقدار نام
- libcoq-mathcomp-ssreflect-4wd38
- libcoq-stdlib-ntv04


نحوه نصب


نصب پکیج deb libcoq-reglang:

    sudo apt-get install libcoq-reglang_1.1.3-2+b1_s390x.deb


فایل ها

مسیرها
./usr/lib/ocaml/coq/user-contrib/RegLang/dfa.v
./usr/lib/ocaml/coq/user-contrib/RegLang/dfa.vo
./usr/lib/ocaml/coq/user-contrib/RegLang/languages.v
./usr/lib/ocaml/coq/user-contrib/RegLang/languages.vo
./usr/lib/ocaml/coq/user-contrib/RegLang/minimization.v
./usr/lib/ocaml/coq/user-contrib/RegLang/minimization.vo
./usr/lib/ocaml/coq/user-contrib/RegLang/misc.v
./usr/lib/ocaml/coq/user-contrib/RegLang/misc.vo
./usr/lib/ocaml/coq/user-contrib/RegLang/myhill_nerode.v
./usr/lib/ocaml/coq/user-contrib/RegLang/myhill_nerode.vo
./usr/lib/ocaml/coq/user-contrib/RegLang/nfa.v
./usr/lib/ocaml/coq/user-contrib/RegLang/nfa.vo
./usr/lib/ocaml/coq/user-contrib/RegLang/regexp.v
./usr/lib/ocaml/coq/user-contrib/RegLang/regexp.vo
./usr/lib/ocaml/coq/user-contrib/RegLang/setoid_leq.v
./usr/lib/ocaml/coq/user-contrib/RegLang/setoid_leq.vo
./usr/lib/ocaml/coq/user-contrib/RegLang/shepherdson.v
./usr/lib/ocaml/coq/user-contrib/RegLang/shepherdson.vo
./usr/lib/ocaml/coq/user-contrib/RegLang/two_way.v
./usr/lib/ocaml/coq/user-contrib/RegLang/two_way.vo
./usr/lib/ocaml/coq/user-contrib/RegLang/vardi.v
./usr/lib/ocaml/coq/user-contrib/RegLang/vardi.vo
./usr/lib/ocaml/coq/user-contrib/RegLang/wmso.v
./usr/lib/ocaml/coq/user-contrib/RegLang/wmso.vo
./usr/lib/ocaml/coq-reglang/META
./usr/lib/ocaml/coq-reglang/dune-package
./usr/lib/ocaml/coq-reglang/opam
./usr/share/doc/libcoq-reglang/changelog.Debian.gz
./usr/share/doc/libcoq-reglang/changelog.Debian.s390x.gz
./usr/share/doc/libcoq-reglang/copyright
./var/lib/coq/md5sums/libcoq-reglang.checksum