search

arthuraa / deriving

Class instances for Coq inductive types with little boilerplate
MIT License
24 stars 9 forks source link

Support mathcomp 2 #24

Closed SnarkBoojum closed 1 year ago

SnarkBoojum commented 1 year ago

There's a porting guide.

arthuraa commented 1 year ago

@SnarkBoojum Sorry, this link points to the QuickChick repository. Did you mean to reference something else?

SnarkBoojum commented 1 year ago

Oh, sorry. I fixed the link.

arthuraa commented 1 year ago

MathComp 2.0.0 is officially supported now.