StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
In Coq, are there tactics for working with Rabs, Rineq?
Author
Votes
Δ
larsr
3
0.00
anon
1
0.00
Last visited: Jan 28, 2020, 3:24:22 AM