From 6cb9ee72ba1b2dffcbe418129a110c1d0bbcc0b3 Mon Sep 17 00:00:00 2001
From: "Dobbertin, Niclas" <niclas.dobbertin@mailbox.org>
Date: Fri, 10 May 2024 09:08:22 +0200
Subject: progress

---
 modeling/todo.org | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 modeling/todo.org

(limited to 'modeling/todo.org')

diff --git a/modeling/todo.org b/modeling/todo.org
new file mode 100644
index 0000000..c3cfa70
--- /dev/null
+++ b/modeling/todo.org
@@ -0,0 +1,8 @@
+#+title: Todo
+
+* Operations
+** Subtraction
+** Multiplication
+** Max of 4 numbers
+** Min of 4 numbers
+** subgoals, i.e. do addition manually if addition fact not in decmem
-- 
cgit v1.2.3