1 search result for "author:"armael.gueneau@inria.fr""

Showing 1 - 1
  1. coq-procrastination

    No documentation

    A small library for collecting side conditions and deferring their proof
    logpath:Procrastination
    Armaël Guéneau <armael.gueneau@inria.fr>
    1.2
    LGPL
    Used by 0 other packages
    18 Sep 2018