A message from our CEO about the future of Stack Overflow and Stack Exchange. Read now.
Theoretical Computer Science
Network profile
204
reputation
1
3

Konstantin Weitz

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

2
answers
0
questions
~1k
people reached
  • San Jose, CA
  • konne.me
  • Member for 5 years, 8 months
  • 17 profile views
  • Last seen Sep 14 '16 at 3:46

Communities (15)

Top network posts

Top tags (3)

Score 8
Posts 2
Score 8
Posts 2
Score 8
Posts 2

Top posts (2) All Questions Answers | Votes Newest

6 What's wrong with this LEAN proof? Aug 23 '15
2 Law of excluded middle in MLTT Dec 24 '14

Badges (4)

Gold

—

Silver

1

Rarest

Bronze

3

Rarest