From 5c6b46527ed17efc2db9ca0ffacf51541998c89d Mon Sep 17 00:00:00 2001
From: nbats <44333466+nbats@users.noreply.github.com>
Date: Tue, 31 Dec 2024 19:51:51 -0800
Subject: [PATCH] =?UTF-8?q?Updated=20FMHY=E2=80=90Notes.md=20(markdown)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 FMHY‐Notes.md.md | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/FMHY‐Notes.md.md b/FMHY‐Notes.md.md
index dd2cd342..6f384141 100644
--- a/FMHY‐Notes.md.md
+++ b/FMHY‐Notes.md.md
@@ -104,7 +104,13 @@ Note that Sanet has been known to host things like KMS Matrix, so its best to av
 
 ***
 
-####
+#### Advanced Logic Calculators
+
+* analytic tableaux generator: https://www.umsu.de/trees/
+* natural deduction proof checker: https://proofs.openlogicproject.org/
+* propositional logic calculator (finds models): https://www.inf.unibz.it/~franconi/teaching/propcalc/
+* a tutorial on sequent calculus: http://logitext.mit.edu/tutorial
+* modal logic playground (for constructing models): https://rkirsling.github.io/modallogic/
 
 ***