StackRating

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

user14704889

Rating
1496.21 (4,075,439th) 		Reputation
36 (1,237,022nd)
Page: 1
Title Δ
How to prove a thereom about a type class outside the original type... +0.15
What does the "note" command do in Isabelle and when is i... -3.94
Prove a recursive function in Isabelle 0.00