5 search results for "tag:"date:2025-02-28""

Showing 1 - 5
  1. coq-itree

    No documentation

    Library for representing recursive and impure programs with equational reasoning
    org:deepspec logpath:ITree date:2025-02-28
    Li-yao Xia Yannick Zakowski Paul He Chung-Kil Hur Gregory Malecha et al.
    5.2.1
    MIT
    Used by 5 other packages
    28 Feb 2025
  2. coq-itree-extra

    No documentation

    Extensions to coq-itree
    org:deepspec logpath:ITree date:2025-02-28
    Lucas Silver Irene Yoon Paul He Yannick Zakowski Steve Zdancewic
    5.2.1
    MIT
    Used by 0 other packages
    30 Jun 2025
  3. coq-mk-choice-axiom-and-equivalent-propositions

    No documentation

    Machine-Proof-of-the-Axiom-of-Choice-and-Its-Equivalent-Propositions
    keyword:set theory keyword:choice axiom keyword:Morse-Kelley keyword:MK category:Mathematics/Logic/Set theory date:2025-02-28 logpath:MKACs
    Wensheng Yu Tianyu Sun Yaoshun Fu Sheng Yan Si Chen et al.
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    28 Feb 2025
  4. 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
  5. coq-simple-io

    No documentation

    IO monad for Coq
    date:2025-02-28 logpath:SimpleIO keyword:extraction keyword:effects
    Li-yao Xia Yishuai Li
    1.11.0
    MIT
    Used by 7 other packages
    28 Feb 2025