Grammar

FORMALIZE

Kind: keyword

Record: pag:keyword-formalize

Canonical: Grammar

Express symbolically

Listed in Grammar records, after DESCRIBE and before IF.

Grounds

  • mode:formalization