id,summary,reporter,owner,description,type,status,priority,resolution,keywords,cc,topic,difficulty,mentor
40,Formal Verification (QuickCheck on steroids),paolo,none,"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.

== Interested Mentors ==
 * Patrik Jansson <[mailto:patrikjNO@SPAMchalmers.se]>

== Interested Students ==
 * Mark Reitblatt <[mailto:reitblatt@mail.utexas.edu]>
 * Kenn Knowles <[mailto:kknowles@cs.ucsc.edu]>",proposed-project,closed,bad,wontfix,,,Tools,unknown,not-accepted