Keyword: reflexive decision procedure

• AACTactics: AAC tactics
  Damien Pous, Thomas Braibant
• Ergo: Ergo: a Coq plugin for reification of term with arbitrary signature
  Stéphane Lescuyer