StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Kevin Buzzard

Rating
1500.22 (476,743rd)

Reputation
232 (442,936th)

Page: 1

Title	Δ
turn proofs for nat into proofs for non-negative ints	0.00
How to prove example in Lean?	+0.22
extending or inferring (PID / UFD) in a Lean class definition	0.00
TPIL 3.6: example : ¬(p → q) → p ∧ ¬q	0.00
example: (p ∨ q) ∧ (p ∨ r) → p ∨ (q ∧ r)	0.00
reading from/writing to a file in J2ME without continually pesterin...	0.00