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 1 year, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
785
reputation
2k
reached
4
answers
4
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
12
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
All Questions Answers
Score Newest
question
15
Bringing OOP features into proof assistants?
Feb 11, 2022
question
12
PDEs and proof assistants
Feb 11, 2022
question
12
Integration of proof assistants and Wikipedia-like websites?
Feb 18, 2022
question
9
Generic proof assistants/modularity of the proof assistants?
Feb 11, 2022
answer
7
Is there a way to automatically translate proofs from one proof assistant to another?
Feb 11, 2022
answer
6
Is there a way to convert free variables to (meta) universally quantified variables in Isabelle?
Feb 15, 2022
answer
3
Is there an elegant way of proving an equality A=B by going in both directions?
Feb 18, 2022
answer
2
PDEs and proof assistants
Feb 24, 2022
Top network posts
View all network posts
41
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

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.