StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

(A -> B) /\ (B -> C) -> (A -> C) in Coq?

Author	Votes	Δ
Théo Winterhalter	2	0.00

Last visited: Sep 5, 2020, 12:36:14 PM