StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Modeling a small programming language and analysis in SMT-LIB using datatypes and forall
Author
Votes
Δ
alias
2
+0.48
B.Ogles
0
-3.81
Last visited: Sep 5, 2020, 12:36:14 PM