1 search result for "author:"Leonidas Lampropoulos""

Showing 1 - 1
  1. coq-quickchick

    No documentation

    Randomized Property-Based Testing for Coq
    keyword:testing logpath:QuickChick date:2025-02-28
    Leonidas Lampropoulos Zoe Paraskevopoulou Maxime Denes Catalin Hritcu Benjamin Pierce et al.
    2.1.0
    MIT
    Used by 3 other packages
    28 Feb 2025