diff --git a/posts/2024/07/finding-simplification-rules-with-z3.md b/posts/2024/07/finding-simplification-rules-with-z3.md index cae8cee10..1db532c8f 100644 --- a/posts/2024/07/finding-simplification-rules-with-z3.md +++ b/posts/2024/07/finding-simplification-rules-with-z3.md @@ -1,7 +1,7 @@