search

arthuraa / deriving

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

Include mathcomp 1.15.0 in supported versions. #20

Closed arthuraa closed 2 years ago