1 search result for "author:"Mathis Bouverot-Dupuis""

Showing 1 - 1
  1. coq-pprint

    No documentation

    A modern combinator pretty-printing library for Coq
    Mathis Bouverot-Dupuis
    0.2.1+8.20
    MIT
    Used by 0 other packages
    19 Nov 2024