4 ms·Thanks. I see the F#/F* synergy. Are C#/Dafny as similar to favor them over the F#/F* combo?by eggy 8y agoThanks. I see the F#/F* synergy. Are C#/Dafny as similar to favor them over the F#/F* combo?