| Name : ghc-copilot-theorem
| |
| Version : 3.19.1
| Vendor : Fedora Project
|
| Release : 2.fc41
| Date : 2024-09-26 20:16:36
|
| Group : Unspecified
| Source RPM : ghc-copilot-theorem-3.19.1-2.fc41.src.rpm
|
| Size : 1.59 MB
| |
| Packager : Fedora Project
| |
| 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>.
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/development/41/Everything/x86_64/os/Packages/g |
