Computer Science
user avatar
user avatar
user avatar
gallais
  • Member for 10 years, 2 months
  • Last seen more than a week ago
Profile Activity
Stats
563
reputation
3k
reached
7
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
12
bronze badges
Top tags
View all tags
37
Score
5
Posts
71
Posts %
24
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
11
"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
24
How do I verify the Coq proof of Feit-Thompson?
19
How to switch the current goal in Coq?
18
Why should you "never resort to polymorphism when initiality would do"?
17
Open Type Level Proofs in Haskell/Idris
16
Coq execution difference between semicolon ";" and period "."

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.