StackRating

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

perthmad

Rating
1500.37 (457,840th) 		Reputation
21 (1,606,345th)
Page: 1
Title Δ
Can I print the partial definition of not finished proof in coq? 0.00
Would giving up on 'ex falso' change anything w.r.t. depend... +0.37