StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Would giving up on 'ex falso' change anything w.r.t. dependently-typed programming in Coq?
| Author | Votes | Δ |
|---|---|---|
| Anton Trunov | 3 | -0.05 |
| perthmad | 3 | +0.37 |
Last visited: Nov 27, 2022, 9:27:33 PM