Proof Assistants Beta
James Wood's user avatar
James Wood's user avatar
James Wood's user avatar
James Wood
  • Member for 1 year, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
758
reputation
2k
reached
5
answers
5
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
16
bronze badges
Top tags
View all tags
8
Score
1
Posts
10
Posts %
3
Score
3
Posts
30
Posts %
3
Score
2
Posts
20
Posts %
3
Score
1
Posts
10
Posts %
3
Score
1
Posts
10
Posts %
1
Score
4
Posts
40
Posts %
Top posts
All Questions Answers
Score Newest
question
15
How do Coq's bidirectionality hints (`&`) affect type checking?
Apr 28, 2022
question
13
How do I turn off the aggressive auto-indent in Proof General/Coq
Feb 17, 2022
answer
8
What's the difference between a universe level and a natural number?
Feb 20, 2022
question
7
When should I use `no-eta-equality` in Agda records?
Feb 21, 2022
question
7
Tactic unification vs evarconv in Coq
Apr 30, 2022
question
4
Defining a terminating `ripple`, with arguments swapping places
Sep 1
answer
3
How does one show termination of a function that is structurally recursive over a type T with subterms of type List T?
Jul 13
answer
2
Proof of state updating
Apr 23
answer
1
When we can use refl?
May 3
answer
1
Coq specifying the type of a variable
Aug 19
Top Meta posts
1
0
5
Can I forward questions here from other SE sites?
Top network posts
View all network posts
22
What is the correct pronunciation of "AJAX"?
13
Changing a quotation so that the original is recognised, but has been given a new meaning
11
What is the difference between "me neither" and "me either"?
10
Why is there a "ph" in "cipher"?
9
Is it possible to kill people indirectly with the Death Note?

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.