2 search results for "author:"Benjamin Pierce""

Showing 1 - 2
  1. coq-itree

    No documentation

    Library for representing recursive and impure programs with equational reasoning
    org:deepspec logpath: ITree date:2024-04-02
    Li-yao Xia Yannick Zakowski Paul He Chung-Kil Hur Gregory Malecha et al.
    5.2.0
    MIT
    Used by 3 other packages
    04 Apr 2024
  2. 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