diff --git a/content/blog/polymorphic-functions-wildcard-matching-lean-4.md b/content/blog/polymorphic-functions-wildcard-matching-lean-4.md
index d9a6eda..2307ccb 100644
--- a/content/blog/polymorphic-functions-wildcard-matching-lean-4.md
+++ b/content/blog/polymorphic-functions-wildcard-matching-lean-4.md
@@ -2,7 +2,7 @@
 title: "Polymorphic Functions w/ Wildcard Matching in Lean 4"
 date: 2024-08-04T07:21:07-07:00
 draft: false
-tags: []
+tags: ["Formal Methods"]
 math: false
 medium_enabled: false
 ---
diff --git a/content/blog/quick-lean-if-then-else-in-hypothesis.md b/content/blog/quick-lean-if-then-else-in-hypothesis.md
index 7a20e72..e9e4107 100644
--- a/content/blog/quick-lean-if-then-else-in-hypothesis.md
+++ b/content/blog/quick-lean-if-then-else-in-hypothesis.md
@@ -2,7 +2,7 @@
 title: "Quick Lean: if-then-else statement in hypothesis"
 date: 2025-04-26T10:58:42-04:00
 draft: false
-tags: []
+tags: ["Formal Methods"]
 math: false
 medium_enabled: false
 ---
diff --git a/content/blog/writing-unit-tests-lean-4.md b/content/blog/writing-unit-tests-lean-4.md
index e782145..0994c52 100644
--- a/content/blog/writing-unit-tests-lean-4.md
+++ b/content/blog/writing-unit-tests-lean-4.md
@@ -2,7 +2,7 @@
 title: "Writing Unit Tests in Lean 4"
 date: 2024-08-05T20:43:52-07:00
 draft: false
-tags: []
+tags: ["Formal Methods"]
 math: false
 medium_enabled: false
 ---