fix wording and readd table to blog posts

Author: tuturu-tech

SUMMARY.md

@@ -11,10 +11,10 @@
   - [EVM Opcode Reference](./learn_evm/evm_opcodes.md)
   - [Transaction Tracing](./learn_evm/tracing.md)
   - [Yellow Paper Guidance](./learn_evm/yellow-paper.md):
-    - [Forks and EIPs](./learn_evm/eips_forks.md)
-    - [Forks and CIPs](./learn_evm/cips_forks.md)
-    - [Upgrades and TIPs](./learn_evm/tips_upgrades.md)
-    - [Forks and BEPs](./learn_evm/beps_forks.md)
+    - [Forks <> EIPs](./learn_evm/eips_forks.md)
+    - [Forks <> CIPs](./learn_evm/cips_forks.md)
+    - [Upgrades <> TIPs](./learn_evm/tips_upgrades.md)
+    - [Forks <> BEPs](./learn_evm/beps_forks.md)
 - [Not So Smart Contracts](./not-so-smart-contracts/README.md)
   - [Algorand](./not-so-smart-contracts/algorand/README.md)
     - [Rekeying](./not-so-smart-contracts/algorand/rekeying/README.md)
@@ -93,9 +93,9 @@
       - [Exercise 8](./program-analysis/echidna/exercises/Exercise-8.md)
   - [Manticore](./program-analysis/manticore/README.md)
     - [Introduction to Symbolic Execution](./program-analysis/manticore/symbolic-execution-introduction.md):
-    - [Running with Manticore](./program-analysis/manticore/running_under_manticore.md)
-    - [Finding Throwing Paths](./program-analysis/manticore/getting_throwing_paths.md)
-    - [Adding Constraints](./program-analysis/manticore/adding_constraints.md)
+    - [Running with Manticore](./program-analysis/manticore/running-under-manticore.md)
+    - [Finding Throwing Paths](./program-analysis/manticore/getting-throwing-paths.md)
+    - [Adding Constraints](./program-analysis/manticore/adding-constraints.md)
     - [Exercises](./program-analysis/manticore/exercises/README.md)
       - [Example](./program-analysis/manticore/exercises/example.md)
       - [Exercise 1](./program-analysis/manticore/exercises/exercise1.md)