GitHub repository: pedrotst/coq-idt
Description: Inductive definition transformers