• The Coq Plugin Developer Program
• Application Process
• What the CPDP does not mean.