Formalize Problem

You must read and apply the language rules before you write any output.

Usage

You invoke this skill by name with a quoted research goal. Slash-command hosts use /formalize-problem "<goal>".

formalize-problem "determine if the security proof in Section 4 holds under asynchrony"

Instructions

1. Read Inputs

You read these inputs: