Stack Exchange Network

Stack Exchange network consists of 175 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
556
reputation
3
14

gallais

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

7
answers
0
questions
~6k
people reached
  • Glasgow, Scotland
  • gallais.org
  • Member for 8 years, 1 month
  • 36 profile views
  • Last seen Apr 10 at 9:38

Communities (20)

Top network posts

Top tags (13)

Score 21
Posts 3
Posts % 43
Score 19
Posts 2
Score 16
Posts 3
Score 16
Posts 2
Score 11
Posts 2
Score 10
Posts 1
View all tags →

Top posts (7) All Questions Answers | Votes Newest

14 Why does Coq have Prop? Mar 31 '14
10 Type theory and computational complexity Oct 25 '18
6 Typing of substitution in a bidirectional type system Nov 2 '18
5 What are the negative consequences of extending CIC with axioms? Dec 19 '15
5 Translation from basic While-language to $\lambda$-calculus May 19 '11
2 A formal grammar for P? May 20 '11
2 Is there an algorithm to generate proof in Coq? Jul 31 '15

Badges (17)

Gold

—

Silver

3

Rarest

Bronze

14

Rarest

View all badges →