netverify
diff --git a/‎…0-the-verification-synthesis-spectrum.md‎ ‎…1-the-verification-synthesis-spectrum.md‎_posts/2020-07-20-the-verification-synthesis-spectrum.md renamed to _posts/2020-08-31-the-verification-synthesis-spectrum.md b/‎…0-the-verification-synthesis-spectrum.md‎ ‎…1-the-verification-synthesis-spectrum.md‎_posts/2020-07-20-the-verification-synthesis-spectrum.md renamed to _posts/2020-08-31-the-verification-synthesis-spectrum.md