Login / Signup

Mtac: A monad for typed tactic programming in Coq.

Beta ZilianiDerek DreyerNeelakantan R. KrishnaswamiAleksandar NanevskiViktor Vafeiadis
Published in: J. Funct. Program. (2015)
Keyphrases