StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

Transform `not A` into `A -> False` in Coq

Author	Votes	Δ
Théo Winterhalter	6	0.00

Last visited: Jan 28, 2020, 3:24:22 AM