# Mtac: A monad for typed tactic programming in Coq

> Research article (Journal of Functional Programming, 2015) · cited 25× · AI/ML

**Wikidata**: [openalex:W2277214925](https://www.wikidata.org/wiki/openalex:W2277214925)  
**Source**: https://4ort.xyz/entity/mtac-a-monad-for-typed-tactic-programming-in-coq