Automating Abstract Logics (a.k.a. Implementing Reflective Tactics)

Gregory Malecha, Jesper Bengston, and Adam Chlipala

mirror-core coq computational reflection automation talk

slides conference link

Citation (BibTex)

@article{malecha2014automating,
  title="Automating Abstract Logics",
  author="Gregory Malecha and Jesper Bengston and Adam Chlipala",
  booktitle={The 6th Coq Workshop},
  location={Vienna, Autria},
  year="2014",
  month="July"
}