diff --git a/TODO.md b/TODO.md
new file mode 100644
index 00000000..b98e03f4
--- /dev/null
+++ b/TODO.md
@@ -0,0 +1,8 @@
+# Main goals
+
+- Fonctorise solver.ml with term module and theory module
+- Add proof output
+
+# Subgoals
+
+- Move terms and theories to another directory (once fonctorised) ?