3 search results for "tag:"logpath:htt""

Showing 1 - 3
  1. coq-htt

    No documentation

    Hoare Type Theory
    category:Computer Science/Data Types and Data Structures keyword:partial commutative monoids keyword:separation logic logpath:htt
    Aleksandar Nanevski Germán Andrés Delbianco Alexander Gryzlov Marcos Grandury
    2.2.1
    Apache-2.0
    Used by 1 other packages
    16 Jun 2025
  2. coq-htt-core

    No documentation

    Hoare Type Theory
    category:Computer Science/Data Types and Data Structures keyword:partial commutative monoids keyword:separation logic logpath:htt
    Aleksandar Nanevski Germán Andrés Delbianco Alexander Gryzlov Marcos Grandury
    2.2.1
    Apache-2.0
    Used by 1 other packages
    16 Jun 2025
  3. coq-http

    No documentation

    HTTP in Coq
    category:Computer Science/Concurrent Systems and Protocols/Correctness of specific protocols category:Miscellaneous/Extracted Programs/Decision procedures keyword:co-induction keyword:extraction keyword:reactive systems logpath:HTTP
    Yishuai Li <yishuai@cis.upenn.edu> Li-yao Xia <xialiyao@cis.upenn.edu> Yao Li <liyao@cis.upenn.edu> Azzam Althagafi <aazzam@cis.upenn.edu> Benjamin C. Pierce <bcpierce@cis.upenn.edu>
    0.2.1
    MPL-2.0
    Used by 0 other packages
    20 Jul 2023