StackRating

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

Rob Lewis

Rating
1507.60 (102,198th) 		Reputation
511 (268,580th)
Page: 1
Title Δ
How to simplify a proof by induction in Lean? 0.00
Lean Mergesort using increasing well founded relation 0.00
How to eliminate parenthesis in algebraic expressions using Lean +3.66
Recovering nat from a positive integer in Lean 0.00
Equality in definitions (decidable equality? e.g. replace elements... 0.00
lean : eq.subst chokes on h:(n=0) +3.95
Proving substitution property of successor over equality 0.00
Why both the typeclass and implicit argument mechanism? 0.00
How to prove a relation at compile-time in Lean? 0.00