Rtac: A Fully Reflective Tactic Language

Gregory Malecha and Jesper Bengston

rtac coq computational reflection automation

abstract conference link

@inproceedings{malecha2015rtac-coqpl,
  title="{Rtac}: A Fully Reflective Tactic Language",
  author="Gregory Malecha and Jesper Bengtson",
  month="January",
  year="2015",
  booktitle="CoqPL'15"
}