What's the deal with Deno? We talk with a major contributor to find out. Listen now.
Theoretical Computer Science
Profile Activity
Meta user
Network profile
626
reputation
4
14

gallais

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

9
answers
0
questions
~7k
people reached
  • Glasgow, Scotland, UK
  • gallais.org
  • Member for 9 years, 4 months
  • 45 profile views
  • Last seen Sep 21 at 17:51

Communities (22)

Top network posts

Top tags (15)

Score 23
Posts 4
Posts % 44
Score 23
Posts 4
Score 16
Posts 3
Score 16
Posts 2
Score 11
Posts 2
Score 10
Posts 1
View all tags →

Top posts (9)

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 Translation from basic While-language to $\lambda$-calculus May 19 '11
5 What are the negative consequences of extending CIC with axioms? Dec 19 '15
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
2 Non-termination, strict positivity and free monads Feb 27

Badges (18)

Gold

—

Silver

4

Rarest

Bronze

14

Rarest

View all badges →