StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Can theorems in coq (or in general) be proven without the use of previously proven lemmas?
Author
Votes
Δ
gallais
4
+4.19
jbapple
1
-4.19
Last visited: Jun 14, 2016, 10:24:48 PM