| Name: | ghc-copilot-theorem |
|---|---|
| Version: | 3.19.1 |
| Release: | 2.el10_0 |
| Architecture: | aarch64 |
| Group: | Unspecified |
| Size: | 1792496 |
| License: | BSD-3-Clause |
| RPM: | ghc-copilot-theorem-3.19.1-2.el10_0.aarch64.rpm |
| Source RPM: | ghc-copilot-theorem-3.19.1-2.el10_0.src.rpm |
| Build Date: | Wed May 21 2025 |
| Build Host: | build-ol10-aarch64.oracle.com |
| Vendor: | Oracle America |
| URL: | https://hackage.haskell.org/package/copilot-theorem |
| Summary: | K-induction for Copilot |
| Description: | 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>. |
- spec file generated by cabal-rpm-2.2.1