A curated list of books, papers, courses and tools about building safe, correct, and efficient programs.

More specifically, I'm interested in:

• Program verification: proving the correctness of exitsing programs using verification tools.
• Verified programming: building correct programs from the outset with language support.
• Proof engineering: proving correctness at scale, productively.