Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta user
Network profile
573
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, 2 months
  • 68 profile views
  • Last seen May 17 at 10:06

Communities (20)

Top network posts

Top tags (9)

Score 38
Posts 5
Posts % 71
Score 24
Posts 4
Score 17
Posts 2
Score 11
Posts 1
Score 7
Posts 1
Score 3
Posts 1
View all tags →

Top posts (7) All Questions Answers | Votes Newest

11 Can a type system serve as a proof assistant for foreign functions? Mar 3 '17
11 “Minimal” intuitionistic type theory? Mar 16 '16
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 →