Companion repo for the Coursera course Big O Notation: Python to Rust — empirical, structural, and formal complexity proofs gated by named YAML contracts. - View it on GitHub