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
| Author | Votes | Δ |
|---|---|---|
| Sebastian Ullrich | 2 | 0.00 |