StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Paramcoq: Free theorems in Coq
Author | Votes | Δ |
---|---|---|
Vilhelm Sjöberg | 5 | 0.00 |
Last visited: Jun 17, 2019, 2:59:36 PM
Author | Votes | Δ |
---|---|---|
Vilhelm Sjöberg | 5 | 0.00 |