1 search result for "author:"Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>""

Showing 1 - 1
  1. coq-mtac2

    No documentation

    Typed tactic language for Coq
    Beta Ziliani <beta.ziliani@gmail.com> Jan-Oliver Kaiser <janno@mpi-sws.org Robbert Krebbers <mail@robbertkrebbers.nl> Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>
    1.4+9.0
    MIT
    Used by 0 other packages
    24 Oct 2025