StackRating

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

How do I provide implicit arguments explicitly in Coq?

Author Votes Δ
Tej Chajed 5 +4.07
Tobia Tesan 2 -4.07
Last visited: Mar 19, 2018, 3:45:00 AM