StackRating

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

Recovering nat from a positive integer in Lean

Author Votes Δ
Rob Lewis 2 0.00
Last visited: May 3, 2018, 6:57:13 PM