Skip to main content
saeed M's user avatar
saeed M's user avatar
saeed M's user avatar
saeed M
student
  • Member for 13 years, 5 months
  • Last seen more than 7 years ago
  • Tehran, Iran
Profile Activity
Stats
21
reputation
6k
reached
1
answer
9
questions
Communities
About

Grad student.

Badges
View all badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
8
bronze badges
Top tags
View all tags
0
Score
7
Posts
70
Posts %
0
Score
4
Posts
40
Posts %
0
Score
2
Posts
20
Posts %
0
Score
2
Posts
20
Posts %
0
Score
1
Posts
10
Posts %
0
Score
1
Posts
10
Posts %
Top posts
question
0
fprintf function not working but it returns positive number
Oct 25, 2013
question
0
How to have a proposition of comparing two 'int' types in Coq?
Jul 26, 2016
question
0
Need finding the right tactic over Int.lt
Aug 23, 2016
question
0
Solving equality / inequality in goal, coq code
Sep 14, 2016
question
0
disjunction of empty and non-empty list in coq
Sep 20, 2016
question
0
Proving for all elements of a list in coq
Sep 23, 2016
question
0
comparing two unequal values in coq
Oct 1, 2016
answer
0
gcc-3.4 compilation error
Feb 28, 2013
question
-1
how to avoid linux command messages in linux
Nov 27, 2013
question
-2
Coq variable exists in list
Sep 15, 2016