Proof.fail – document what didn't work

1 points | by unprovable a minute ago