formal derivation

  1. REDIRECT Formal proof