- 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
A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=@yforster]
License
coq-community/metaprogramming-rosetta-stone
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|