Martín Soto comments on Probabilistic Payor Lemma?

Martín Soto 21 Mar 2023 2:15 UTC
LW: 6 AF: 5
3
AF
Nice!
⊬a
Should be $⊢ \neg a$ , right?
- abramdemski 21 Mar 2023 16:55 UTC
  2 points
  0
  Parent
  Thanks, fixing!