Skip to main content
Proof Assistants Meta
Jesper's user avatar
Jesper's user avatar
Jesper's user avatar
Jesper
  • Member for 2 years, 5 months
  • Last seen more than 2 years ago
  • Netherlands
Profile Activity
Stats
506
reputation
0
reached
0
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
This user doesn’t have any bronze badges yet.
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
46
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？
10
What subtyping rules does Agda support?