Skip to main content
Proof Assistants Beta
Vladimir Ivanov's user avatar
Vladimir Ivanov's user avatar
Vladimir Ivanov's user avatar
Vladimir Ivanov
  • Member for 2 years, 5 months
  • Last seen this week
Profile Activity
Stats
46
reputation
112
reached
2
answers
0
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Top tags
3
Score
1
Posts
50
Posts %
3
Score
1
Posts
50
Posts %
1
Score
2
Posts
100
Posts %
-2
Score
1
Posts
50
Posts %
-2
Score
1
Posts
50
Posts %
Top posts
3
Code Review: $\mathbb{Z}[\sqrt{-2}]$ is an integral domain
Jul 6
-2
Uniqueness of proofs for inductively defined predicates
Jul 5