Proof Assistants Beta
asha soroushpoor's user avatar
asha soroushpoor's user avatar
asha soroushpoor's user avatar
asha soroushpoor
  • Member for 9 months
  • Last seen more than a week ago
Profile Activity
Stats
67
reputation
320
reached
0
answers
4
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
View all tags
0
Score
4
Posts
100
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
question
4
What is the best way to learn Iris completely independently
Nov 19
question
1
Coq Induction on Hypothesis destroys the Hypothesis
Mar 7
question
1
Partitioning a list with 2 elements in the middle in coq
Jul 12
question
0
How to prove commutation of a recursive function over a finite set encoded with binary nat in coq
Jul 16

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.