Theoretical Computer Science
Konstantin Weitz
  • konne.me
  • San Jose, CA
  • Member for 7 years, 3 months
Profile Activity
Stats
204
reputation
2k
reached
2
answers
0
questions
About
Apparently, this user prefers to keep an air of mystery about them.

Communities (15)

Top network posts

This user doesn’t have any gold badges yet.
1
silver badge
3
bronze badges

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

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.