Team ∃x∈P (D(x) → ∀y∈P D(y))

Name:	∃x∈P (D(x) → ∀y∈P D(y))
Category:	Participants
Affiliation:	Université Paris Diderot
Logo:
Location:	C133-B9

return to scoreboard