Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Meta User
Network Profile
311
reputation
1
10

user833970

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

2
answers
2
questions
~1k
people reached
  • Member for 3 years, 7 months
  • 7 profile views
  • Last seen 18 hours ago

Communities (17)

Top Network Posts

Top Tags (9)

Score 7
Posts 3
Posts % 75
Score 4
Posts 2
Score 4
Posts 1
Score 3
Posts 2
Score 3
Posts 2
Score 3
Posts 1
View all tags →

Top Posts (4) All Questions Answers | Votes Newest

15 In the Hott book, are the most of the type formers redundant? And if so, why? Dec 14 '17
11 Typo in the calculus of constructions paper? Dec 2 '16
4 Is there a simple algorithm for proof search on CoC? Feb 15
3 When a type is a value? Jan 15

Badges (11)

Gold

—

Silver

1

Rarest

Bronze

10

Rarest

View all badges →