From 0d4c03f89852009ddfdefad5881e34da784bece6 Mon Sep 17 00:00:00 2001
From: autistic-symposium-helper
 <138340846+autistic-symposium-helper@users.noreply.github.com>
Date: Thu, 7 Nov 2024 12:31:44 +0700
Subject: [PATCH] hot fix: fix url and add placeholder for formal verification
 chapter

---
 .../{formal_ verification => formal_verification}/README.md       | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename hacking_tools/{formal_ verification => formal_verification}/README.md (100%)

diff --git a/hacking_tools/formal_ verification/README.md b/hacking_tools/formal_verification/README.md
similarity index 100%
rename from hacking_tools/formal_ verification/README.md
rename to hacking_tools/formal_verification/README.md