Skip to main content
TeX - LaTeX
rgrig's user avatar
rgrig's user avatar
rgrig's user avatar
rgrig
  • Member for 14 years, 1 month
  • Last seen more than 1 year ago
Profile Activity
Stats
265
reputation
12k
reached
2
answers
1
question
Communities
View all
About

program verification, mostly

Badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
12
Score
1
Posts
33
Posts %
12
Score
1
Posts
33
Posts %
2
Score
1
Posts
33
Posts %
2
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
answer
12
What is the correct way to do delimiters?
Sep 1, 2010
answer
2
Convenient way of typesetting boxes with multiple input and output wires?
Oct 10, 2012
question
1
How to convince fancyvrb to give overfull warnings?
Jul 6, 2011
Top network posts
View all network posts
62
Is the Jaccard distance a distance?
59
For which algorithms is there a large gap between the theoretical analysis and reality?
48
Algorithms from the Book
44
What's new in purely functional data structures since Okasaki?
43
Do you get DFS if you change the queue to a stack in a BFS implementation?