a note about future worlds

leanprover-community · Dec 22, 2023 · 28b67ed · 28b67ed
1 parent b893d5f
commit 28b67ed
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/todo_worlds b/todo_worlds
@@ -0,0 +1,3 @@
+Less than (and strong induction)
+even/odd (written by Ivan)
+divisibility, prime, hard (all written by Archie)