3 ms·

Yep if the translation is done by hand then that might be a potential problem. However a lot of modern proof tools have proven correct translators (based on the

by jnash 4y ago

Yep if the translation is done by hand then that might be a potential problem. However a lot of modern proof tools have proven correct translators (based on the CompCert work).