StackRating

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

user1868607

Rating
1500.71 (431,498th) 		Reputation
665 (216,946th)
Page: 1
Title Δ
How does Sledgehammer translate lambda-abstractions to ATPs? 0.00
What's a cterm? 0.00
Representing a set with gluing conditions 0.00
Showing group law under assumptions 0.00
Smart constructor pattern while proving with Isabelle 0.00
NoClassDefFoundError using sbt for builds and imports in Intellij I... 0.00
UnsatisfiedLinkError using opencv for processing +4.67
Using TypedADT constructs in Inox 0.00
Sorting list of elements of the form [x=value1, x=value2,...] in ma... -3.96
Making clone on a collection of generics 0.00