MikkW comments on AllAmericanBreakfast’s Shortform

[MikkW]

Proof verification is meant to minimize this gap between proving and programming