StackRating

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

how to proof (f1+f1 = f2+f2 -> f1 = f2) in coq

Author Votes Δ
Pierre Jouvelot 2 +4.16
Yves 1 +0.66
larsr 0 -1.18
Last visited: Nov 27, 2022, 9:27:33 PM