Proof Assistants Beta
Paul Snopov's user avatar
Paul Snopov's user avatar
Paul Snopov's user avatar
Paul Snopov
  • Member for 1 year, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
195
reputation
2k
reached
0
answers
3
questions
Communities
View all
About

24 y.o. PhD at RAS, persistent homology and finitely generated algebras in data science

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
6
bronze badges
Top tags
View all tags
0
Score
2
Posts
67
Posts %
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
7
In Lean, contradiction tactic failed but actually goal accomplished
May 4, 2022
question
1
Strong induction for nat in Coq
Jun 13, 2022
question
0
Equational reasoning in Coq
Jun 12, 2022
Top network posts
View all network posts
6
Exercise 1.5.xi from Emily Riehl's "Category Theory in Context" on properties of some functors

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.