4 ms·The real key to software correctness is to use homotopy type theory, not java.by voldacar 7y agoThe real key to software correctness is to use homotopy type theory, not java.