adding basic-monadic2

eyereasoner · Jan 26, 2025 · 833f380 · 833f380
1 parent ccc814c
commit 833f380
Show file tree

Hide file tree

Showing 4 changed files with 13,068 additions and 0 deletions.
diff --git a/reasoning/basic-monadic2/README b/reasoning/basic-monadic2/README
@@ -0,0 +1,5 @@
+------------------
+Basic MONADIC Test
+------------------
+
+See http://eulersharp.sourceforge.net/2014/11bmb/