1 search result for "author:"Jan-Oliver Kaiser <janno@mpi-sws.org""

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+9.0

MIT

Used by 0 other packages

24 Oct 2025