formalize

Short definition from Wiktionary

Verb

1. 1
   To give something a definite form; to shape.
2. 2
   To develop into a definite form.
3. 3
   To give something a formal or official standing.
4. 4
   To act with formality.
5. 5
   To rigorously prove a mathematical result.