Skip to main content
Proof Assistants Beta
user9716869 - supports Ukraine's user avatar
user9716869 - supports Ukraine's user avatar
user9716869 - supports Ukraine's user avatar
user9716869 - supports Ukraine
  • Member for 2 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
815
reputation
3k
reached
4
answers
4
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
13
bronze badges
Top tags
View all tags
7
Score
1
Posts
12
Posts %
7
Score
1
Posts
12
Posts %
6
Score
2
Posts
25
Posts %
2
Score
2
Posts
25
Posts %
2
Score
2
Posts
25
Posts %
2
Score
2
Posts
25
Posts %
Top posts
17
Bringing OOP features into proof assistants?
Feb 11, 2022
13
Integration of proof assistants and Wikipedia-like websites?
Feb 18, 2022
12
PDEs and proof assistants
Feb 11, 2022
9
Generic proof assistants/modularity of the proof assistants?
Feb 11, 2022
7
Is there a way to automatically translate proofs from one proof assistant to another?
Feb 11, 2022
6
Is there a way to convert free variables to (meta) universally quantified variables in Isabelle?
Feb 15, 2022
3
Is there an elegant way of proving an equality A=B by going in both directions?
Feb 18, 2022
2
PDEs and proof assistants
Feb 24, 2022
Top network posts
View all network posts
42
How do I use lemmas that are probably already proven, but including the proof myself is quicker than looking up a source?
9
Locally small categories in ZFC
6
Isabelle's document preparation
5
Naming facts exported from blocks in Isabelle/HOL