StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

Proving (~A -> ~B)-> (~A -> B) -> A in Coq

Author	Votes	Δ
Arthur Azevedo De Amorim	2	0.00

Last visited: Jun 17, 2019, 2:59:36 PM