I did not claim that everything about the code was proven correct, but a subset of properties expressable by the type system. I agree that using the word “stro

I did not claim that everything about the code was proven correct, but a subset of properties expressable by the type system. I agree that using the word “strong” was wrong. I basically meant it in the sense of “good”/“elaborate”, mistakenly ignoring that “strong” already has a very specific meaning in type systems. Thanks for correcting.