• Hour of Coq 2016
• Format of the Hour of Coq 2016
• TODO