2 search results for "tag:"logpath:ITree""

Showing 1 - 2
  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 4 other packages
    28 Feb 2025
  2. coq-itree-io

    No documentation

    Run interaction trees in IO
    logpath:ITreeIO
    Li-yao Xia <lysxia@gmail.com>
    0.1.1
    MIT
    Used by 2 other packages
    21 Jul 2023