1 search result for "author:"Maxime Denes""

Showing 1 - 1
  1. 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