From 276699fdf2265119ba077d84ad2b6d49103ae0a0 Mon Sep 17 00:00:00 2001
From: Azumabashi <63087581+Azumabashi@users.noreply.github.com>
Date: Mon, 14 Aug 2023 17:52:27 +0900
Subject: [PATCH] add propositionalLogic (#2681)

---
 packages.json | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/packages.json b/packages.json
index 30756e8..2edffbb 100644
--- a/packages.json
+++ b/packages.json
@@ -31129,5 +31129,16 @@
     "description": "Provides a system.cmp like function that can be used with std/algorithm.sort to smartly sort string sequences based on their contents rather than exact match",
     "license": "MIT",
     "web": "https://github.com/amaank404/namenumbersort"
+  },
+  {
+    "name": "propositionalLogic",
+    "url": "https://github.com/Azumabashi/nim-propositional-logic/",
+    "method": "git",
+    "tags": [
+      "logic"
+    ],
+    "description": "A library for (standard) propositional logic",
+    "license": "MIT",
+    "web": "https://github.com/Azumabashi/nim-propositional-logic/"
   }
 ]