Language Details: Coq
Skip to: Contestants · Problems solved · Represented countries.
Problems solved
- Qualification Round (2 solutions by 1 contestant):
- Oversized Pancake Flipper: 1 small solution, 1 large solution.
Submission Origin
| United States (1 contestant) |