StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Use obtain in tactic mode in Lean theorem prover
Author | Votes | Δ |
---|---|---|
Sebastian Ullrich | 2 | 0.00 |
Last visited: Sep 27, 2016, 9:15:25 AM