1 search result for "author:"beta.ziliani@gmail.com""

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+8.20
    MIT
    Used by 0 other packages
    22 Nov 2024