Does any journal exist which includes mechanical formal verification as part of its acceptance process? Not even mathematical journals do this. Hell, mathemat

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.