Theoretical Computer Science
gallais's user avatar
gallais's user avatar
gallais's user avatar
gallais
  • Member for 11 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
636
reputation
10k
reached
9
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
24
Score
4
Posts
44
Posts %
23
Score
4
Posts
44
Posts %
17
Score
3
Posts
33
Posts %
16
Score
2
Posts
22
Posts %
12
Score
2
Posts
22
Posts %
10
Score
1
Posts
11
Posts %
Top posts
All Questions Answers
Score Newest
answer
14
Why does Coq have Prop?
Mar 31, 2014
answer
10
Type theory and computational complexity
Oct 25, 2018
answer
7
Typing of substitution in a bidirectional type system
Nov 2, 2018
answer
5
Translation from basic While-language to $\lambda$-calculus
May 19, 2011
answer
5
What are the negative consequences of extending CIC with axioms?
Dec 19, 2015
answer
2
A formal grammar for P?
May 20, 2011
answer
2
Is there an algorithm to generate proof in Coq?
Jul 31, 2015
answer
2
Formalization of dependent record types/kinds in MLTT or variant thereof?
Sep 3, 2019
answer
2
Non-termination, strict positivity and free monads
Feb 27, 2020
Top network posts
View all network posts
24
How do I verify the Coq proof of Feit-Thompson?
19
Why should you "never resort to polymorphism when initiality would do"?
17
Open Type Level Proofs in Haskell/Idris
17
How to switch the current goal in Coq?
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.