Loading catalogue content.

Skill

Invariant Guard

Correctness-first: forces writing the function contract, loop invariant, termination argument, and edge cases BEFORE code. Catches Boyer-Moore, leftmost bina...

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 ›