4 ms·Proving that two pieces of code are equivalent sounds very hard (incomputable)by brokensegue 2y agoProving that two pieces of code are equivalent sounds very hard (incomputable)