Computer Science
Profile Activity
Network profile
645
reputation
5
5

Victor

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

0
answers
2
questions
~7k
people reached
  • Member for 7 years, 8 months
  • 8 profile views
  • Last seen Jul 13 '13 at 8:31

Communities (9)

Top network posts

Top tags (4)

Score 0
Posts 2
Posts % 100
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (2)

All Questions Answers
Votes Newest
45 What makes type inference for dependent types undecidable? Jun 15 '13
9 Example of a false proposition when assuming Type : Type Jun 27 '13

Badges (10)

Gold

—

Silver

5

Rarest

Bronze

5

Rarest

View all badges →