Verification Techniques (we do use)

Semantic

• Check semantic properties of inference steps
  • Use trusted systems
• Example: Mizar, SPASS, GDV

Structural

• Check relationships between inferences
• Example: Check parents of inference exist