netverify
diff --git a/‎_posts/2020-04-29-toward-modular-network-verification.md renamed to ‎_posts/2020-05-01-toward-modular-network-verification.md b/‎_posts/2020-04-29-toward-modular-network-verification.md renamed to ‎_posts/2020-05-01-toward-modular-network-verification.md