Verification-Synthesis spectrum
Rename 2020-07-20-the-verification-synthesis-spectrum.md to 2020-08-3… …1-the-verification-synthesis-spectrum.md
Rename 2020-07-20-the-verification-synthesis-spectrum.md to 2020-08-3… …1-the-verification-synthesis-spectrum.md