Comment by afdbcreid

6 days ago

There is no such thing as "informally sound". Soundness is a mathematical property and needs to be proven mathematically. For that, you first need a mathematical definition.

0 comments