Report - Mtac: A Monad for Typed Tactic Programming in Coqdreyer/papers/mtac/journal.pdf · Mtac: A Monad for Typed Tactic Programming in Coq 3 The major benefit of this approach is its integration

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form