2 search results for "author:"Boris Djalal""

Showing 1 - 2
  1. coq-mathcomp-cad

    No documentation

    Formal Proof of Cylindrical Algebraic Decomposition
    keyword:CAD logpath:SemiAlgebraic
    Cyril Cohen Boris Djalal Quentin Vermande
    1.1
    LGPL-3.0-or-later
    Used by 0 other packages
    12 Dec 2024
  2. coq-smtcoq

    No documentation

    A Coq plugin that checks proof witnesses coming from external SAT and SMT solvers
    category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures category:Miscellaneous/Coq Extensions keyword: SMT keyword: SAT keyword: automation logpath:SMTCoq
    Michaël Armand Valentin Blot Amina Bousalem Boris Djalal Louise Dubois de Prisque et al.
    2.3+8.20
    CECILL-C
    Used by 1 other packages
    19 Sep 2024