StackRating

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

Myrthe van Delft

Rating
1496.52 (4,033,392nd) 		Reputation
23 (1,489,117th)
Page: 1
Title Δ
What is required for Coq to generate an elimination combinator for... -3.57
The induction principle generated by Coq does not behave like I wan... +0.09