3 ms·
Since the whole premise here is that formally verifying the properties of programs is equivalent to constructive mathematics, I think you might be asking for to
by noqc 3y ago
Since the whole premise here is that formally verifying the properties of programs is equivalent to constructive mathematics, I think you might be asking for too much, modulo your definition of hero.
- bruce343434 3y agoWhat do you mean by modulo here?
- tux3 3y agoIt means except for X, or disregarding X If you have a particularly generous definition of hero, then you might not be asking too much