Proof Assistants Beta
Pieter Cuijpers's user avatar
Pieter Cuijpers's user avatar
Pieter Cuijpers's user avatar
Pieter Cuijpers
  • Member for 1 year, 2 months
  • Last seen more than 1 year ago
Profile Activity
Stats
143
reputation
646
reached
2
answers
3
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
4
Score
5
Posts
100
Posts %
4
Score
5
Posts
100
Posts %
3
Score
2
Posts
40
Posts %
1
Score
3
Posts
60
Posts %
Top posts
All Questions Answers
Score Newest
question
5
Unclarity about Preorder class in Lean4
Sep 21, 2022
question
4
How to unfold definitions in Lean / find the right theorems to apply?
Sep 23, 2022
answer
3
How to unfold definitions in Lean / find the right theorems to apply?
Sep 23, 2022
answer
1
Question about default definitions in fields
Sep 22, 2022
question
1
Question about default definitions in fields
Sep 22, 2022

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.