1 search result for "author:"François Pottier <francois.pottier@inria.fr>""

Showing 1 - 1
  1. rocq-listz

    No documentation

    A Rocq library of lists with indices in Z
    date:2026-04-17 logpath:listz
    François Pottier <francois.pottier@inria.fr>
    20260417
    LGPL-2.1-only
    Used by 0 other packages
    17 Apr 2026