Lower Big-O on existing code via a one-transformation-at-a-time playbook with verify-revert-stop. For new code use lemmaly; for math-level wins escalate to mathguard.

Slug: complexity-cuts

Preuzmi / koristi ovaj skill