@christianp If the proof wasn't developed alongside the algorithm, that's really, really hard. When I was faced with that I often worked on it for a bit, then gave up and derived the algorithm from the ground up with its proof, often finding bugs along the way.

ColinTheMathmo@ColinTheMathmo@mathstodon.xyz@christianp If the proof wasn't developed alongside the algorithm, that's really, really hard. When I was faced with that I often worked on it for a bit, then gave up and derived the algorithm from the ground up with its proof, often finding bugs along the way.

It's been a long time since I did that, though.