Comment by adrianN

7 hours ago

An error in the formalization could also be that you formally prove something different from what you think you proved.

0 comments