- 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