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
~2k
people reached
  • Glasgow, Scotland
  • gallais.org
  • Member for 7 years, 4 months
  • 74 profile views
  • Last seen Jul 8 at 16:54

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 →