formal synthesis

  1. REDIRECT Total synthesis#Formal synthesis {{R to section}}