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

Showing 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+8.20

MIT

Used by 0 other packages

22 Nov 2024