4 search results for "author:"Arthur Azevedo de Amorim""

Showing 1 - 4
  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
  2. coq-extructures

    No documentation

    Finite sets, maps, and other data structures with extensional reasoning
    keyword:finite maps keyword:extensionality category:Computer Science/Data Types and Data Structures logpath:extructures
    Arthur Azevedo de Amorim
    0.5.0
    MIT
    Used by 1 other packages
    10 Dec 2024
  3. coq-quickchick

    No documentation

    Randomized Property-Based Testing for Coq
    Leonidas Lampropoulos Zoe Paraskevopoulou Maxime Denes Catalin Hritcu Benjamin Pierce et al.
    2.1.1
    MIT
    Used by 3 other packages
    02 Jul 2025
  4. coq-void

    No documentation

    MathComp instances for the empty type (Empty_set)
    keyword:empty type keyword:class instances category:Computer Science/Data Types and Data Structures date:2019-10-08 logpath:void
    Arthur Azevedo de Amorim
    0.1.0
    MIT
    Used by 0 other packages
    08 Oct 2019