معرفی شرکت ها
libghc-copilot-theorem-doc_3.13-1_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
k-induction for Copilot.; documentation
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main all |
| نام بسته | libghc-copilot-theorem-doc |
| نام فایل بسته | libghc-copilot-theorem-doc_3.13-1_all.deb |
| نسخه بسته | 3.13 |
| انتشار بسته | 1 |
| معماری بسته | all |
| نگهدارنده | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://copilot-language.github.io |
| مجوز | - |
| حجم دانلود | 213864 |
| حجم نصب | 4186 |
Some tools to prove properties on Copilot programs with k-induction model
checking.
.
Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
Haskell that compiles into embedded C. Copilot contains an interpreter,
multiple back-end compilers, and other verification tools.
.
A tutorial, examples, and other information are available at
<https://copilot-language.github.io>.
.
This package provides the documentation for a library for the Haskell
programming language.
See http://www.haskell.org/ for more information on Haskell.
نیازمندی
| مقدار | نام |
|---|---|
| - | haddock-interface-38 |
نحوه نصب
نصب پکیج deb libghc-copilot-theorem-doc:
sudo apt-get install libghc-copilot-theorem-doc_3.13-1_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/ghc-doc/haddock/copilot-theorem-3.13/copilot-theorem.haddock |
| ./usr/share/doc/libghc-copilot-theorem-doc/buildinfo_all.gz |
| ./usr/share/doc/libghc-copilot-theorem-doc/changelog.Debian.gz |
| ./usr/share/doc/libghc-copilot-theorem-doc/changelog.gz |
| ./usr/share/doc/libghc-copilot-theorem-doc/copyright |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem-Kind2-Prover.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem-Kind2.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem-Prove.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem-Prover-SMT.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem-What4.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/copilot-theorem.txt |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/doc-index.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/haddock-bundle.min.js |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/index.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/linuwial.css |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/meta.json |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/quick-jump.css |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.IL.PrettyPrint.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.IL.Spec.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.IL.Transform.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.IL.Translate.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.IL.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.AST.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.Output.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.PrettyPrint.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.Prover.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.Translate.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Misc.Error.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Misc.SExpr.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Misc.Utils.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prove.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prover.Backend.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prover.SMT.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prover.SMTIO.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prover.SMTLib.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prover.TPTP.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Tactics.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Cast.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Invariants.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Operators.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.PrettyPrint.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Renaming.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Spec.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Transform.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Translate.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Type.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.What4.Translate.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.What4.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.html |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/highlight.js |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/src/style.css |
| ./usr/share/doc/libghc-copilot-theorem-doc/html/synopsis.png |
| ./usr/lib/ghc-doc/hoogle/libghc-copilot-theorem-doc.txt -> ../../../share/doc/libghc-copilot-theorem-doc/html/copilot-theorem.txt |