StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

krokodil

Rating
1492.26 (4,363,985th) 		Reputation
768 (192,627th)
Page: 1
Title Δ
mutual recursion on an inductive type and nat -3.70
Better theory of vectors in Coq? 0.00
barbed wire parenthesis in LaTeX 0.00
Applying functional extensionality to functions with 2 arguments in... 0.00
How to save the current goal / subgoal as an `assert` lemma -4.04
Waiting for both keyword and timer events with OCamlSDL (SDL2) 0.00
vector reflexivity under setoid equality using CoRN MathClasses 0.00
How to determine if a string "ends with" another string i... 0.00
perspective plot in R (tick marks and understanding what is going on) 0.00
Photo stitching/panorama API/DLL/Library anyone? 0.00
How to convert the output of an artificial neural network into prob... 0.00