StackRating

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

How do I express that a proposition is independent in TLA+?

Author Votes Δ
Hovercouch 0 -0.17
lambda.xy.x 0 +0.17
Last visited: Oct 30, 2019, 9:27:30 PM