StackRating

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

Joe Dudepavlachenski

Rating
1500.09 (503,238th) 		Reputation
60 (952,564th)
Page: 1
Title Δ
I need a working tutorial on Isabelle and Sledgehammer +4.02
Proving topology statement in Isabelle 0.00
Proving a simple arithmetic statement with rewriting in Isabelle -3.92
Trying to define custom 'declare' & 'using' com... 0.00