StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

How to prove (p -> q) -> (~ p \/ q) in Coq

Author	Votes	Δ
SCappella	4	0.00

Last visited: Sep 4, 2019, 3:46:46 PM