You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
(This issue is a bit block-y for me; I can stumble along working in proof fns, but right now I'm suspicious that my spec fn definition has a problem and I can't diagnose it.)
The text was updated successfully, but these errors were encountered:
I'm chasing down a proof failure inside a
spec fn
, and got to this point:...and the
spec_affirm
on the second line fails. That shouldn't be. Recording attached.2024-04-05-15-31-27.zip
(This issue is a bit block-y for me; I can stumble along working in proof fns, but right now I'm suspicious that my spec fn definition has a problem and I can't diagnose it.)
The text was updated successfully, but these errors were encountered: