StackRating

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

naT

Rating
1491.73 (4,385,719th) 		Reputation
133 (597,571st)
Page: 1
Title Δ
Where is nat base 10 converted to num base 2? 0.00
What is a Quotient type pattern in Isabelle? 0.00
Simplify pretty-printing of naturals -3.68
I need binary and hex syntax translations for type num 0.00
How to describe inaccuracy points inside (| |) in Isabelle? -1.93
Simplifier doesn't work with constants greater than 10? -2.67
Isabelle: run try command without try0 0.00
Isabelle: run try command without try0 0.00