We’re rewarding the question askers & reputations are being recalculated! Read more.
Computer Science
Network profile
615
reputation
5
5

Victor

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

0
answers
2
questions
~6k
people reached
  • Member for 6 years, 5 months
  • 4 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

42 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 →