Skip to main content
Proof Assistants Beta
Yannick Zakowski's user avatar
Yannick Zakowski's user avatar
Yannick Zakowski's user avatar
Yannick Zakowski
  • Member for 7 months
  • Last seen this week
Profile Activity
Stats
171
reputation
511
reached
4
answers
0
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
11
Score
4
Posts
100
Posts %
6
Score
2
Posts
50
Posts %
5
Score
1
Posts
25
Posts %
0
Score
2
Posts
50
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
6
What is the best way to learn Iris completely independently
Nov 20, 2023
5
Selecting both a hypothesis and Goal while applying a tactic
Feb 1
0
Using coIH as an argument to the transitivity of Bisimilarity (cofix and pcofix)
Feb 27
0
Proof of Constant folding in Coq for IMP using Interaction Trees
Dec 8, 2023
Top network posts
View all network posts
5
Coq can't define an inductive proposition