Ticket #40 (closed proposed-project: wontfix)
Formal Verification (QuickCheck on steroids)
|Reported by:||paolo||Owned by:||none|
Description (last modified by nano) (diff)
Take a hard theorem prover and connect it to Haskell by making it a drop-in replacement for QuickCheck?, or writing a native Haskell one.
- Patrik Jansson <patrikjNO@…>
- Mark Reitblatt <reitblatt@…>
- Kenn Knowles <kknowles@…>