A message from our CEO about the future of Stack Overflow and Stack Exchange. Read now.
Theoretical Computer Science
Meta user
Network profile
591
reputation
3
14

gallais

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

8
answers
0
questions
~6k
people reached
  • Glasgow, Scotland, UK
  • gallais.org
  • Member for 8 years, 8 months
  • 39 profile views
  • Last seen Dec 24 '19 at 9:42

Communities (20)

Top network posts

Top tags (14)

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

Top posts (8) 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
2 Formalization of dependent record types/kinds in MLTT or variant thereof? Sep 3 '19

Badges (17)

Gold

—

Silver

3

Rarest

Bronze

14

Rarest

View all badges →