StackRating

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

white_wolf

Rating
1509.70 (72,818th) 		Reputation
433 (306,507th)
Page: 1
Title Δ
How to make a Adga function with a premise work +3.93
Proving commutativity of addition in Agda 0.00
Agda: Function Parsing error +4.54
Agda rewrite does not change goal in _*_ commutativity proof 0.00
How to pattern match against absurd / unconstructable Type? 0.00
Judgemental equality -0.01
Agda Proof of Sum of n Naturals +4.61
How are the equational reasoning operators used in practice? 0.00
Substituting equal term in equality proof -3.38