From 41be6f96a4bb3c807bdcd4d6bdaa7cf0648b4210 Mon Sep 17 00:00:00 2001
From: Brandon Rozek <brozek@brandonrozek.com>
Date: Mon, 15 Jan 2024 19:35:59 -0500
Subject: [PATCH] Added tags

---
 content/blog/proofdef.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/content/blog/proofdef.md b/content/blog/proofdef.md
index c3db36e..d6049de 100644
--- a/content/blog/proofdef.md
+++ b/content/blog/proofdef.md
@@ -2,6 +2,8 @@
 title: "Theorem Proving Definitions"
 date: 2019-12-29T11:21:07-05:00
 draft: false
+tags:
+    - Formal Methods 
 images: []
 math: true
 medium_enabled: true