Coccinelle

MaRDI QIDQ40960swMATHFDO

Official website https://www.lri.fr/~contejea/Coccinelle/coccinelle.html

Described by source

• Modeling Permutations in Coq for Coccinelle

Cited in

(3)

• CoLoR
• IsaFoR
• Certifying a Termination Criterion Based on Graphs, without Graphs

This page was built for software: Coccinelle