3 search results for "author:"Chantal Keller""

Showing 1 - 3
  1. coq-paramcoq

    No documentation

    Plugin for generating parametricity statements to perform refinement proofs
    keyword:paramcoq keyword:parametricity keyword:OCaml modules category:Miscellaneous/Rocq Extensions logpath:Param date:2024-06-29
    Chantal Keller (Inria, École polytechnique) Marc Lasson (ÉNS de Lyon) Abhishek Anand Pierre Roux Emilio Jesús Gallego Arias et al.
    1.1.3+rocq9.0
    MIT
    Used by 4 other packages
    26 Mar 2025
  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
  3. coq-sniper

    No documentation

    A Coq plugin for general proof automation
    category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures category:Miscellaneous/Coq Extensions keyword: SMT keyword: automation logpath:Sniper
    Valentin Blot <Valentin.Blot@inria.fr> Louise Dubois de Prisque <Louise.Dubois-de-Prisque@inria.fr> Chantal Keller <ckeller@lmf.cnrs.fr Pierre Vial <Pierre.Vial@inria.fr>
    1.1+8.16
    CECILL-C
    Used by 0 other packages
    16 Jun 2023