formalizers

noun
  1. plural of formalizer; persons or things that make something formal or convert it into a formal system
  2. Usage: technical; often used in logic, mathematics, and computer science contexts

Examples