2 search results for "author:"Mathis Bouverot-Dupuis""

Showing 1 - 2
  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
  2. rocq-sulfur

    No documentation

    A Rocq plugin to automate reasoning about languages with binders
    keyword:binders keyword:substitution category:Miscellaneous/Rocq Extensions logpath:Sulfur date:2026-10-19
    Mathis Bouverot-Dupuis Thiago Felicissimo Théa Hervier Kenji Maillard Kathrin Stark et al.
    0.1
    MIT
    Used by 0 other packages
    23 Oct 2026