Meta Stack Exchange
Mark Reitblatt's user avatar
Mark Reitblatt's user avatar
Mark Reitblatt's user avatar
Mark Reitblatt
  • Member for 13 years
  • Last seen more than 12 years ago
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
View all
About

CS PhD Student at Cornell.

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

This user hasn’t posted yet.

Top network posts
View all network posts
35
Applications of topology to computer science
31
Powerful Algorithms too complex to implement
24
Where is the proof that Coq + Excluded Middle is consistent
13
Are there any counterintuitive results in theoretical computer science?
12
What happens if we try to extract a witness but it actually does not exist from a term of existential type?

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.