Skip to main content
user1868607's user avatar
user1868607's user avatar
user1868607's user avatar
user1868607
  • Member for 9 years
  • Last seen this week
Profile Activity
Stats
2,600
reputation
82k
reached
12
answers
186
questions
Communities
View all
Badges
View all badges
1
gold badge
19
silver badges
42
bronze badges
Top tags
View all tags
1
Score
77
Posts
39
Posts %
1
Score
43
Posts
22
Posts %
1
Score
10
Posts
5
Posts %
1
Score
8
Posts
4
Posts %
1
Score
7
Posts
4
Posts %
0
Score
20
Posts
10
Posts %
Top posts
View all questions, answers, and articles
12
Ruby protected visibility calling from superclass
Jul 30, 2015
7
The foundations of Isabelle [closed]
Jan 9, 2020
7
Difficult condition to understand on Java Specification
Sep 3, 2015
6
UML. Generic class with limited parameter
Sep 2, 2015
5
Type of elements in c++ map
Sep 11, 2015
4
Combinator /: in scala
Jan 6, 2017
4
Debugging a software verifier written in Scala working as plugin of sbt
Jul 7, 2018
4
Plotting the parametric distribution of multivariate normal in R
Jul 10, 2018
4
Isabelle's document preparation
Aug 10, 2019
4
Design operator++ for iterating over certain elements of a multimap
Sep 12, 2015
Top network posts
View all network posts
29
What is a batch compiler?
23
Multiplication of a random variable with constant
19
How to demo Skype-decryption using FOSS tools?
14
Algebraic topology for termination proofs
12
What is known about ideal and divisibility lattices of GCD domains and their generalizations?