Proof Assistants Beta
James Martin's user avatar
James Martin's user avatar
James Martin's user avatar
James Martin
  • Member for 1 year, 7 months
  • Last seen more than a week ago
Profile Activity
Stats
1,005
reputation
2k
reached
1
answer
6
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
22
bronze badges
Top tags
View all tags
8
Score
3
Posts
43
Posts %
8
Score
2
Posts
29
Posts %
0
Score
4
Posts
57
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
1
Posts
14
Posts %
Top posts
All Questions Answers
Score Newest
question
18
What is the trade-off to accepting impredicative propositions?
Mar 6, 2022
question
15
Why should you "never resort to polymorphism when initiality would do"?
Mar 2, 2022
question
15
What axioms have a computational interpretation?
Mar 8, 2022
question
12
Why does it matter if canonicity holds for irrelevant types?
Mar 6, 2022
question
10
How does Prop relate to h-prop and double negation?
Mar 25, 2022
answer
8
Why is `--irrelevant-projections` unsafe in Agda?
Mar 2, 2022
question
8
Why is `--irrelevant-projections` unsafe in Agda?
Mar 2, 2022
Top network posts
View all network posts
10
How can I convert an animated WebP to a WebM?
7
How can I convert an animated WebP to a WebM?
7
What are the pros and cons of an Option type in comparison to nullable types?
6
How to avoid using I's so frequently
5
What's the difference between opposite and in front of?

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.