Computer Science
Meta user
Network profile
563
reputation
3
12

gallais

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

7
answers
0
questions
~3k
people reached
  • Glasgow, Scotland, UK
  • gallais.org
  • Member for 7 years, 9 months
  • 82 profile views
  • Last seen Nov 18 at 8:33

Communities (20)

Top network posts

Top tags (9)

Score 37
Posts 5
Posts % 71
Score 24
Posts 4
Score 16
Posts 2
Score 10
Posts 1
Score 7
Posts 1
Score 3
Posts 1
View all tags →

Top posts (7) All Questions Answers | Votes Newest

11 “Minimal” intuitionistic type theory? Mar 16 '16
10 Can a type system serve as a proof assistant for foreign functions? Mar 3 '17
7 Proving a sorting operation in type system Dec 26 '15
6 Agda: Which part does this type introduce universe inconsistency? Feb 14 '18
3 Finite list induction principle and the tail eliminator Aug 26 '18
3 Meaning of $\mu t$ terms in dependent type theory Jun 28 '18
2 Clever memory management with constant time operations? Mar 6 '12

Badges (15)

Gold

—

Silver

3

Rarest

Bronze

12

Rarest

View all badges →