Searching protocol for "formal definition"
Document problem models for research papers.
Converts vague requirements into formal specs.
Validate Segal-type coherence.
Formalize and shorten skill definitions.
Build and verify formal Quint specifications.
Authoritative Nock specification reference.
Write game rules with mathematical precision.
Nock reduction rules explained.
Clarify task requirements with structured output.
Formalize and verify with Coq.
Formalize language semantics.
Formalize requirements into Isabelle/HOL or Coq.