Loading catalogue content.

Skill

Complexity Cuts

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 m...

Add to kit

Sign in to add this skill to one of your kits.

Sign in

Compatibility

No compatibility declared

Tags

Top Kits

Popular kits using this skill

All kits ›