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

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.0.5
    MIT
    Used by 3 other packages
    05 Dec 2024