StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

Proving ¬ (A ∧ B) → (A → ¬ B) in Lean

Author	Votes	Δ
Christopher Hughes	2	0.00

Last visited: Nov 27, 2022, 9:27:33 PM