From c6b987cd9bddc83efb4a9d095f930ab5c7d89b14 Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Sun, 27 Apr 2025 14:02:12 -0400 Subject: [PATCH] Added tag --- content/blog/polymorphic-functions-wildcard-matching-lean-4.md | 2 +- content/blog/quick-lean-if-then-else-in-hypothesis.md | 2 +- content/blog/writing-unit-tests-lean-4.md | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) 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 ---