Companion repo for 'Design by Provable Contracts' — course 7 of the rust-de specialization. Type-system invariants, typestate Connection, and proptest-verified safe_div under a YAML contract. - View it on GitHub