StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

What can Coq do while Agda/Idris can't do?

Author	Votes	Δ
Thorsten Altenkirch	6	0.00

Last visited: Mar 16, 2018, 11:04:52 PM