Post #1502791

It is theoretically possible by using formal verification. Which is getting easier due to lean. But still impractical.