Mtac: A Monad for Typed Tactic Programming in Coq Beta Ziliani Max Planck Institute for Software Systems (MPI-SWS) joint work with Derek Dreyer (MPI-SWS), - Tactic - Document - PDFSEARCH.IO

First Page	Meta Content
	Mtac: A Monad for Typed Tactic Programming in Coq Beta Ziliani Max Planck Institute for Software Systems (MPI-SWS) joint work with Derek Dreyer (MPI-SWS), Add to Reading List Document Date: 2013-10-09 17:33:06 Open Document File Size: 588,95 KB Share Result on Facebook

Mtac: A Monad for Typed Tactic Programming in Coq Beta Ziliani Max Planck Institute for Software Systems (MPI-SWS) joint work with Derek Dreyer (MPI-SWS),Add to Reading List