1 search result for "tag:"logpath:deriving""

Showing 1 - 1
  1. coq-deriving

    No documentation

    Generic instances of MathComp classes
    keyword:generic programming category:Computer Science/Data Types and Data Structures logpath:deriving
    Arthur Azevedo de Amorim
    0.2.1
    MIT
    Used by 2 other packages
    03 Dec 2024