3 search results for "tag:"category:Miscellaneous/Extracted Programs/Decision procedures""

Showing 1 - 3
  1. coq-async-test

    No documentation

    Testing asynchronous system
    category:Miscellaneous/Extracted Programs/Decision procedures keyword:extraction keyword:reactive systems logpath:AsyncTest
    Yishuai Li <yishuai@cis.upenn.edu>
    0.1.0
    MPL-2.0
    Used by 2 other packages
    29 May 2022
  2. 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
  3. coq-stalmarck-tactic

    No documentation

    Coq tactic and verified tool for proving tautologies using Stålmarck's algorithm
    category:Miscellaneous/Coq Extensions category:Miscellaneous/Extracted Programs/Decision procedures keyword:boolean formula keyword:tautology checker keyword:tactics logpath:Stalmarck.Tactic date:2024-06-30
    Pierre Letouzey Laurent Théry
    8.20.0
    LGPL-2.1-or-later
    Used by 0 other packages
    06 Sep 2024