Language Details: Coq
Skip to: Contestants · Problems solved · Represented countries.
Problems solved
- Qualification Round (1 solution by 1 contestant):
- Speaking in Tongues: 1 small solution.
Submission Origin
| Japan (1 contestant) |
Skip to: Contestants · Problems solved · Represented countries.
| Japan (1 contestant) |