Proof Assistants Beta
Couchy's user avatar
Couchy's user avatar
Couchy's user avatar
Couchy
Moderator
  • Member for 1 year, 10 months
  • Last seen this week
  • United States
Profile Activity
Stats
2,171
reputation
13k
reached
18
answers
5
questions
Communities
View all
About

Pronounced Cow-chy (/kaʊ'tʃi/)

Badges
View all badges
2
gold badges
7
silver badges
37
bronze badges
Top tags
View all tags
26
Score
5
Posts
22
Posts %
25
Score
2
Posts
9
Posts %
21
Score
2
Posts
9
Posts %
20
Score
6
Posts
26
Posts %
18
Score
2
Posts
9
Posts %
14
Score
2
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
18
When should I use De Bruijn levels instead of indices?
Feb 28, 2022
answer
17
What's the "Hello, World!" for proof assistants?
Feb 8, 2022
answer
17
Where can I find lists of theorems that have been verified?
Feb 9, 2022
answer
14
Why did Agda give up cumulative universes?
Feb 10, 2022
answer
13
What exactly is setoid hell?
Mar 2, 2022
question
13
Is eta-equality provable in Coq?
Feb 10, 2022
answer
13
What are the bases for different Proof Assistants?
Feb 8, 2022
answer
12
Can you build W-types out of natural numbers predicatively?
Aug 29, 2022
question
11
What is the role of impredicativity in program extraction?
Mar 31, 2022
answer
10
What is predicativity?
Feb 11, 2022
Top Meta posts
3
2
6
Why is a question about dependent type theory off topic?
5
How detailed should tags be?
4
Where do we define and keep track of the scope of the site
4
How to write a tag wiki excerpt?
3
User Abusing the System for Homework Problem?
Top network posts
View all network posts
22
Pass lambda expression to lambda argument c++11
13
Does Global Lipschitz Continuous imply boundedness?
8
What is a homomorphism?
8
Is it true that $\lim_{x\to 0}\lim_{y \to 0}f(x,y) = \lim_{x\to 0}f(x,x)$?
7
Does the independence of the axiom of choice imply Gödel's incompleteness theorem?

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.