StackRating

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

Daisuke Sugawara

Rating
1488.58 (4,436,188th) 		Reputation
117 (648,499th)
Page: 1
Title Δ
VecUtil: take nth element of processed vector by two slightly diffe... 0.00
Theorem about vectors and recursive functions -3.84
Install python3-picamera on Ubuntu 0.00
Different arguments, but behavior of function is same 0.00
A list transformed from a vector equals to a list transformed from... 0.00
Prove equality of lists with list_beq -4.21
Vector: take out some elements from a vector with two methods 0.00
Vector: theorem about splitting and appending vectors -3.36
Transform the lemma leaving previous state on Coq -0.01