Leonidas Lampropoulos

After fixing a shallow parameter-related bug, the underlying reason this still fails is that the deriver won't put a "Gen e" argument to the derived class implementation. That needs a...

The FuzzChick branch should still work - but admittedly with an old Coq version. We're in the process of creating a [2.0 release](https://github.com/QuickChick/QuickChick/tree/quickchick-2.0), where we're planning to bring FuzzChick up...

I just pushed a commit in the 2.0 branch (c3811daf) that introduces `QCExtractDir ` as a vernac command that is used as the toplevel path for QuickChick to extract. It...

I've been thinking about this for a while, and will start pushing forward more after the POPL deadline. One organization decision we must take early is whether each of these...

The current checker-deriving algorithm implementation doesn't handle true mutually inductive datatypes as that would require mutually inductive typeclass instancess. I'm curious what examples this fix enables - a test/example like...