Update development-status.md

hhu-adam · Oct 1, 2024 · d520227 · d520227
1 parent 671cdc8
commit d520227
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/development-status.md b/development-status.md
@@ -7,14 +7,14 @@
 | Quantus                       | ==       | +++            | +++    | +++          | +++    | +       | +++     | JE: DONE                                                                                         |
 | Spinoza                       | ==       | ++             | ++     | ++           | ++     |         | +++     |                                                                                                  |
 | Luna                          | ==       | +              | +++    | +++          | update |         | +++     |                                                                                                  |
-| Babylon                       | ==       | +              | +++    | +++          | +++    |         | +++     | TODO: introduce (Finset.)sum_subset  (for Robostwane L05)                                        |
+| Babylon                       | ==       | +              | +++    | +++          | +++    |         | +++     | TODO: introduce (Finset.)sum_subset  (for Robotswana L05)                                        |
 | FunctionBij                   | Isos?    | +              | TODO   |              | TODO   |         | TODO    |                                                                                                  |
 | FunctionInj                   | Monos?   | +              | TODO   |              | TODO   |         | TODO    |                                                                                                  |
 | FunctionSurj                  | Epos?    | +              | +      |              | TODO   |         | TODO    |                                                                                                  |
 | Cantor                        | ==       | ++             | +      | +            | +      |         | +++     |                                                                                                  |
 | Robotswana                    | ==       | ++             | +      | update (L05) | update |         | +++     |                                                                                                  |
-| SetTheory                     | Synolos  | TODO           |        |              |        |         |         | TODO: new Boss: set of primes is infinite                                                        |
-| Prime                         | TODO     | +              | TODO   | TODO         | TODO   |         | TODO    | (introduce ∃!) TODO: use set of primes in examples; introduce Finite; Boss: only even prime is 2 |
+| SetTheory                     | Synolos  | TODO           |        |              |        |         |         | TODO: use set of primes in examples; introduce Finite; new Boss: set of primes is infinite                                                        |
+| Prime                         | TODO     | +              | TODO   | TODO         | TODO   |         | TODO    | (introduce ∃!) TODO: Boss: only even prime is 2 |
 | GoodByePlanet                 | Ciao     | (done)         | (done) | (done)       | TODO   |         | +++     |                                                                                                  |
 |                               |          |                |        |              |        |         |         |                                                                                                  |
 | **Version 2.0:**              |          |                |        |              |        |         |         |                                                                                                  |