Regina Wong

Results 2 comments of Regina Wong

@mitschabaude - do you mind elaborating on why you said "writing provable code, which is not specific to smart contracts" --> maybe, what is provable code? And what did you...