Theoretical Computer Science
Network profile
321
reputation
1
9

Colin Gordon

Apparently, this user prefers to keep an air of mystery about them.

1
answer
1
question
~2k
people reached

Communities (2)

Top network posts

We respect a laser-like focus on one topic.

Top tags (2)

Score 10
Posts 2
Score 10
Posts 2

Top posts (2) All Questions Answers | Votes Newest

24 Why do Agda and Coq disagree on strict positivity? Aug 29 '13
10 Why do Agda and Coq disagree on strict positivity? Sep 2 '13

Badges (10)

Gold

—

Silver

1

Rarest

Bronze

9

Rarest