1 search result for "tag:"keyword:generic programming""

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.2
    MIT
    Used by 2 other packages
    18 Apr 2025