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