Comment by NooneAtAll3

I'm still baffled by RE community aiming for "100% asm match", needing to reproduce specific compiler version, instead of aiming for functional equivalence and cleaner code

is there really no tools whatsoever that produce proof certificates for "these two functions do the same thing"?