StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

How to prove r → (∃ x : α, r) in Lean

Author	Votes	Δ
Etienne Laurin	2	0.00

Last visited: May 14, 2020, 3:16:00 AM