2 search results for "author:"Pierre-Évariste Dagand""

Showing 1 - 2
  1. coq-bits

    No documentation

    A bit vector library
    category:Computer Science/Data Types and Data Structures keyword:bit arithmetic keyword:bitset keyword:bit vector keyword:extraction logpath:Bits date:2021-07-11
    Andrew Kennedy <akenn@microsoft.com> Arthur Blot <arthur.blot@ens-lyon.fr> Pierre-Évariste Dagand <pierre-evariste.dagand@lip6.fr>
    1.1.0
    Apache-2.0
    Used by 0 other packages
    12 Jul 2021
  2. coq-label

    No documentation

    'label' is a Coq plugin for referring to Propositional hypotheses by their type
    Pierre-Évariste Dagand Théo Zimmermann Pierre-Marie Pédrot
    1.0.0
    MIT
    Used by 0 other packages
    26 Mar 2018