Skip to main content
push33n's user avatar
push33n's user avatar
push33n's user avatar
push33n
  • Member for 6 years, 1 month
  • Last seen this week
Profile Activity
Stats
437
reputation
28k
reached
2
answers
24
questions
Communities
View all
Badges
View all badges
1
gold badge
6
silver badges
13
bronze badges
Top tags
View all tags
1
Score
19
Posts
73
Posts %
1
Score
7
Posts
27
Posts %
0
Score
3
Posts
12
Posts %
0
Score
2
Posts
8
Posts %
0
Score
2
Posts
8
Posts %
0
Score
2
Posts
8
Posts %
Top posts
View all questions, answers, and articles
4
firacode ligatures not working in iterm 2
Dec 1, 2019
4
git revert is not reverting anything
Jun 7, 2020
4
how to include a module in a .mli file?
Jun 29, 2021
3
polymorphic equality in coq
May 18, 2020
3
string comparison in ssreflect
Aug 14, 2020
2
coq 8.11.0 incompatible with ocaml 4.10?
Apr 4, 2020
2
what is [...] in proof general and why can't I delete it
May 11, 2020
1
how to uninstall opam...?
Apr 10, 2020
1
rules on instantiation of existential variables in coq
May 14, 2020
1
how to reflect with ssreflect: unable to unify ?x == ?y with "n = n0"
Jun 14, 2020
Top network posts
View all network posts
5
what does it mean for a function "not to respect equality"