StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Equality of finite maps in coq (defined using map2)
Author
Votes
Δ
ejgallego
5
+0.50
ErikMD
2
-4.02
Last visited: Jan 18, 2019, 10:31:52 PM