Comment by vlovich123

3 days 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