Comment by vlovich123

7 months ago

FWIW technically the rules are the same. How they go about proving that the rules are upheld for a program is what would be different.

0 comments