Language Details: Coq

Code Jam 2012 Contestants using Coq
Qualification Round
Used in 1 solutions by 1 contestants:

Submission Origin

Japan (1 contestant)