Thanks for this insight, Issac. Don't know that I should call myself (even a former) mathematician; in the 70s I taught college mathematics courses at the 100 (freshman) level.
I do agree that the notion of 'proving' applies well in both areas.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.