Translation Verification

Formal verification for translated math content. Verify a single document or cross-check against an English source.