1 search result for "author:"Valentin Blot <Valentin.Blot@inria.fr>""

Showing 1 - 1
  1. 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