Computer Science
gallais's user avatar
gallais's user avatar
gallais's user avatar
gallais
  • Member for 11 years, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
573
reputation
4k
reached
7
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
14
bronze badges
Top tags
View all tags
38
Score
5
Posts
71
Posts %
25
Score
4
Posts
57
Posts %
16
Score
2
Posts
29
Posts %
10
Score
1
Posts
14
Posts %
7
Score
1
Posts
14
Posts %
3
Score
1
Posts
14
Posts %
Top posts
All Questions Answers
Score Newest
answer
12
"Minimal" intuitionistic type theory?
Mar 16, 2016
answer
10
Can a type system serve as a proof assistant for foreign functions?
Mar 3, 2017
answer
7
Proving a sorting operation in type system
Dec 26, 2015
answer
6
Agda: Which part does this type introduce universe inconsistency?
Feb 14, 2018
answer
3
Meaning of $\mu t$ terms in dependent type theory
Jun 28, 2018
answer
3
Finite list induction principle and the tail eliminator
Aug 26, 2018
answer
2
Clever memory management with constant time operations?
Mar 6, 2012
Top network posts
View all network posts
25
How do I verify the Coq proof of Feit-Thompson?
21
Why should you "never resort to polymorphism when initiality would do"?
18
Open Type Level Proofs in Haskell/Idris
18
Coq execution difference between semicolon ";" and period "."
17
How to switch the current goal in Coq?

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.