3 ms·It is entirely possible to write proofs about untyped code.by kd0amg 8y agoIt is entirely possible to write proofs about untyped code.