2 search results for "tag:"keyword:boolean formula""

Showing 1 - 2
  1. coq-stalmarck

    No documentation

    Verified implementation of Stålmarck's algorithm for proving tautologies in Coq
    category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures keyword:boolean formula keyword:tautology checker logpath:Stalmarck.Algorithm date:2024-06-30
    Pierre Letouzey Laurent Théry
    8.20.0
    LGPL-2.1-or-later
    Used by 1 other packages
    06 Sep 2024
  2. 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