1 search result for "author:"Lucas Silver""

Showing 1 - 1
  1. coq-itree-extra

    No documentation

    Extensions to coq-itree
    org:deepspec logpath: ITree.Extra date:2024-04-02
    Lucas Silver Irene Yoon Paul He Yannick Zakowski Steve Zdancewic
    5.2.0
    MIT
    Used by 0 other packages
    04 Apr 2024