3 search results for "tag:"date:2023-12-28""

Showing 1 - 3
  1. coq-almost-full

    No documentation

    Almost-full relations in Coq for proving termination
    category:Computer Science/Data Types and Data Structures keyword:Ramsey theorem keyword:termination keyword:almost-full relations keyword:well-founded relations logpath:AlmostFull date:2023-12-28
    Dimitrios Vytiniotis Thierry Coquand David Wahlstedt
    8.18.0
    MIT
    Used by 0 other packages
    28 Dec 2023
  2. coq-buchberger

    No documentation

    Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases
    category:Mathematics/Algebra category:Miscellaneous/Extracted Programs/Combinatorics keyword:Gröbner basis keyword:polynomial ideal keyword:Buchberger's algorithm logpath:Buchberger date:2023-12-28
    Laurent Théry Henrik Persson
    8.18.0
    LGPL-2.1-or-later
    Used by 0 other packages
    28 Dec 2023
  3. coq-chapar

    No documentation

    A framework for verification of causal consistency for distributed key-value stores and their clients in Coq
    category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems keyword:causal consistency keyword:key-value stores keyword:distributed algorithms keyword:program verification logpath:Chapar date:2023-12-28
    Mohsen Lesani Christian J. Bell Adam Chlipala
    8.17.0
    MIT
    Used by 0 other packages
    28 Dec 2023