Language Details: Coq

Skip to: Contestants · Problems solved · Represented countries.

Problems solved

Qualification Round (2 solutions by 1 contestant):

Submission Origin

United States (1 contestant)