StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
I want to do induction on Peano nats but I want to prove a property P over nats 1 ... n. Does Coq pr
| Author | Votes | Δ |
|---|---|---|
| Li-yao Xia | 5 | +0.44 |
| larsr | 1 | +0.47 |
| Yves | 0 | -3.98 |
Last visited: Sep 4, 2019, 3:46:46 PM