StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

How to write agda equivalent code of this coq code?

Author	Votes	Δ
Ptival	2	0.00

Last visited: Nov 11, 2015, 8:54:58 AM