3 search results for "author:"Paul He""

Showing 1 - 3
  1. coq-ctree

    No documentation

    Library for representing recursive, non-deterministic and impure programs with equational reasoning
    category:CS/Semantics and Compilation/Semantics category:CS/Concurrency/Theory of concurrent systems keyword:simulation keyword:bisimilarity keyword:coinduction up-to keyword:process algebra keyword:cooperative multithreading logpath:CTree
    Nicolas Chappe Paul He Ludovic Henrio Yannick Zakowski Steve Zdancewic
    2.0
    MIT
    Used by 0 other packages
    29 Jul 2025
  2. 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 6 other packages
    28 Feb 2025
  3. 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