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 →