StackRating

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

Agda rewrite does not change goal in _*_ commutativity proof

Author Votes Δ
white_wolf 3 0.00
Last visited: Jan 1, 2019, 8:55:20 AM