| Name : ghc-copilot-theorem
| |
| Version : 3.19.1
| Vendor : Fedora Project
|
| Release : 3.fc42
| Date : 2025-01-16 21:30:56
|
| Group : Unspecified
| Source RPM : ghc-copilot-theorem-3.19.1-3.fc42.src.rpm
|
| Size : 1.37 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/rawhide/Everything/x86_64/os/Packages/g |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-copilot-theorem
ghc-copilot-theorem(x86-64)
libHScopilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6-ghc9.6.6.so()(64bit)
Requires :
