QuickCheck for Coq
See the samples/Test.v file. This file is a sample test code using QuickCheck.v.
-
Notifications
You must be signed in to change notification settings - Fork 0
yoshihiro503/coqQuickCheck
About
QuickCheck for Coq
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published