StackRating

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

Kun

Rating
1500.21 (479,566th)
Reputation
36 (1,225,232nd)
Page: 1
Title Δ
How to prove two relations equal in Z3 using HORN logic +0.21