1 search result for "author:"Thiago Felicissimo""

Showing 1 - 1
  1. 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