HourOfCoq
The Hour of Code (https://hourofcode.com) takes place each year during Computer Science Education Week, which will be December 5-11, 2016. In that week, students take
The idea is to imitate the format of the Hour of Code and promote students to do their first hour of Coq.
- Call for events.
- Template (use jsCoq?)
- Change name ?
- Promotion.
To the extent possible under law, the contributors of “Cocorico!, the Coq wiki” have waived all copyright and related or neighboring rights to their contributions.
By contributing to Cocorico!, the Coq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.