• Programming "quote" using canonical structures directives
• About the work of Pierre-Yves Strub on the Calculus of Presburger Inductive Constructions
• Preparation of Coq 8.3
• Foreseeable contents of 8.3
• Other informations