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

…1-the-verification-synthesis-spectrum.md
netverify · Aug 30, 2020 · be049b8 · be049b8
1 parent 22557bc
commit be049b8
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/...20-the-verification-synthesis-spectrum.md → ...31-the-verification-synthesis-spectrum.md b/...20-the-verification-synthesis-spectrum.md → ...31-the-verification-synthesis-spectrum.md