1 search result for "author:"Lionel Rieg <lionel.rieg@college-de-france.fr>""

Showing 1 - 1
  1. coq-dep-map

    No documentation

    Dependent Maps
    keyword: maps keyword: dependent maps category: Computer Science/Data Types and Data Structures
    Lionel Rieg <lionel.rieg@college-de-france.fr>
    8.10.0
    CeCILL-B
    Used by 0 other packages
    07 Dec 2019