Skip to main content
Kamyar Mirzavaziri's user avatar
Kamyar Mirzavaziri's user avatar
Kamyar Mirzavaziri's user avatar
Kamyar Mirzavaziri
Software Engineer
  • Member for 9 years, 10 months
  • Last seen more than a month ago
Profile Activity

Stats

858
reputation
73k
reached
33
answers
14
questions
Communities
View all

Badges

View all badges
1
gold badge
7
silver badges
18
bronze badges

Top tags

View all tags
14
Score
14
Posts
30
Posts %
6
Score
18
Posts
38
Posts %
4
Score
10
Posts
21
Posts %
4
Score
8
Posts
17
Posts %
4
Score
3
Posts
6
Posts %
3
Score
2
Posts
4
Posts %

Top posts

View all questions, answers, and articles
7
how to split one path into two paths in svg
Jan 12, 2017
4
How array_shift works inside array_push
Apr 4, 2020
4
Looking for some match trick or convoy pattern
Mar 27, 2020
4
match a Prop? or any other way to define "Double-negation translation"
Mar 31, 2020
3
Parsing a simple imperative language in Coq
Mar 31, 2020
3
Induction on evidence for the "less than" relation in coq
Mar 15, 2020
3
How to move a div from left to right using javascript
Jan 12, 2016
3
Define sets in a way that equality can be proven by extensionality
Apr 9, 2020
3
Non strictly positive occurrence problem in Coq inductive definition
Mar 26, 2020
2
How to refer to a record in a table without a primary key
Apr 4, 2020