On: Verified Rust for low-level systems code

[wk_end]

> 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/