Skip to main content
Proof Assistants Beta
Mark Pock's user avatar
Mark Pock's user avatar
Mark Pock's user avatar
Mark Pock
  • Member for 2 months
  • Last seen more than a week ago
Profile Activity
Stats
31
reputation
97
reached
1
answer
1
question
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Top tags
3
Score
2
Posts
100
Posts %
3
Score
1
Posts
50
Posts %
3
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
3
Define maximum of matrix entries in Lean4
Apr 26
0
Inductive assumption in inductive case
Apr 26