Rosetta stone of metaprogramming in Coq

Meta

• Author(s):
  • Enzo Crance
  • Davide Fissore
  • Yannick Forster
  • Gaëtan Gilbert
  • Talia Ringer
  • Michael Soegtrop
  • Enrico Tassi
  • Tomas Vallejos
• Coq-community maintainer(s):
  • Yannick Forster (@yforster)
• License: MIT License
• Compatible Coq versions: 8.17
• Additional dependencies: multiple, see READMEs in directories