Having a theory of your program

Posted on 2025-12-18 by ubikium

The problem of not having a theory of your program is that you can only have a theory of your program.

However, having a theory of your program can only give you a theory of your program and nothing more.