Proof Assistant Skill Purpose Assist in constructing formal correctness proofs for algorithms using standard proof techniques. Capabilities - Proof structure templates (induction, contradiction, etc.) - Step-by-step proof guidance - Termination argument generation - Proof review and validation - Identify proof gaps Target Processes - correctness-proof-testing - algorithm-implementation Proof Techniques Mathematical Induction - Base case identification - Inductive hypothesis formulation - Inductive step construction Proof by Contradiction - Assumption negation - Logical derivation - Contradict…