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
~8k
people reached
  • Glasgow, Scotland, UK
  • gallais.org
  • Member for 10 years, 2 months
  • 49 profile views
  • Last seen Jun 17 at 21:01

Communities (22)

Top network posts

This user doesn’t have any gold badges yet.
4
silver badges
14
bronze badges
View all badges

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 '20

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.