Proof Assistants Beta
Jesper's user avatar
Jesper's user avatar
Jesper's user avatar
Jesper
  • Member for 1 year, 9 months
  • Last seen more than a month ago
  • Netherlands
Profile Activity
Stats
486
reputation
1k
reached
4
answers
1
question
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
8
bronze badges
Top tags
View all tags
22
Score
4
Posts
80
Posts %
10
Score
1
Posts
20
Posts %
10
Score
1
Posts
20
Posts %
10
Score
1
Posts
20
Posts %
10
Score
1
Posts
20
Posts %
5
Score
1
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
answer
10
What subtyping rules does Agda support?
Mar 25, 2022
answer
10
Termination and confluence -- which goes first?
Dec 21, 2022
question
7
What was the first proof assistant with eta equality for records?
Dec 21, 2022
answer
5
What is the state of recompilation avoidance in proof assistants?
Feb 14, 2022
answer
2
Cumulativity unsafe in Agda 2.6.3
May 9
Top network posts
View all network posts
43
What is Axiom K?
15
What else can you do in the turn you ready an action?
14
Is it possible to get hold of free theorems as propositional equalities?
10
Why we cannot pattern match on Set/Type in Coq/Agda/Idris？
8
Small kernel (i.e. proof-verifier) for Agda?

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.