StackRating

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

anon

Rating
1500.00 (597,963rd) 		Reputation
148 (557,859th)
Page: 1
Title Δ
In Coq, are there tactics for working with Rabs, Rineq? 0.00