StackRating

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

Construct a new record instances when the Record type has dependent binders in Coq

Author Votes Δ
ejgallego 3 0.00
Last visited: Feb 24, 2019, 2:22:19 AM