Does any journal exist which includes mechanical formal verification as part of its acceptance process? Not even mathematical journals do this. Hell, mathematicians would probably lose their minds if such a thing was suggested. Just look at the crisis the Four Color Theorem proof caused when it came out.