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/
 
 ***