coqQuickCheck

QuickCheck for Coq

See the samples/Test.v file. This file is a sample test code using QuickCheck.v.

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
samples		samples
.gitignore		.gitignore
Eq.v		Eq.v
Functor.v		Functor.v
Gen.v		Gen.v
Make		Make
Makefile		Makefile
Monad.v		Monad.v
QuickCheck.v		QuickCheck.v
README.md		README.md
Show.v		Show.v

Provide feedback