1 search result for "author:"Pierre-Marie Pédrot <pierre-marie.pedrot@irif.fr>""

Showing 1 - 1
  1. coq-ltac2

    No documentation

    A tactic language for Coq
    Pierre-Marie Pédrot <pierre-marie.pedrot@irif.fr>
    0.3
    LGPL 2.1
    Used by 0 other packages
    07 Jun 2019