Theoretical Computer Science
Profile Activity
Network profile
204
reputation
1
3

Konstantin Weitz

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

2
answers
0
questions
~2k
people reached
  • San Jose, CA
  • konne.me
  • Member for 6 years, 10 months
  • 21 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

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.