> Also, is there a good learning resource on "proving" things about code for working programmers without a strong CS / math background? I don’t know how diffic

> Also, is there a good learning resource on "proving" things about code for working programmers without a strong CS / math background? I don’t know how difficult Software Foundations is for someone with a limited background but it’s probably worth trying: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/