Package Details: cyp-lukasstevens-git r294.3129d6f-1

Git Clone URL: https://aur.archlinux.org/cyp-lukasstevens-git.git (read-only, click to copy)
Package Base: cyp-lukasstevens-git
Description: (Check Your Proof) Checker for "morally correct" induction proofs about Haskell programs
Upstream URL: https://github.com/lukasstevens/cyp
Licenses: MIT
Provides: cyp
Submitter: halbGefressen
Maintainer: halbGefressen
Last Packager: halbGefressen
Votes: 1
Popularity: 0.38
First Submitted: 2020-12-13 12:28
Last Updated: 2020-12-13 12:28