• How to contribute to the Coq standard library
• The Coq library guidelines
• General guidelines
• Tactics guidelines
• Documentation
• Use of notations and unicode symbols