Theoretical Computer Science
gallais's user avatar
gallais's user avatar
gallais's user avatar
gallais
  • Member for 12 years, 6 months
  • Last seen more than a week ago
Profile Activity
Stats
635
reputation
11k
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
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.