3 ms·Of course one can make proofs of programs written in Turing complete languages.by kyberias 7y agoOf course one can make proofs of programs written in Turing complete languages.