StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Pedro Abreu

Rating
1496.22 (4,075,040th) 		Reputation
101 (720,371st)
Page: 1
Title Δ
What is the name of the programming style enabled by dependent type... +0.19
Coq syntax. Predicate Logic 0.00
Avoid implicit arguments of Fixpoint from becoming explicit in proo... -3.97
How to correctly use coercions such that no parenthesis are needed? 0.00