microwave spec: fix link in table

Signed-off-by: Giuliano Losa <giuliano@losa.fr>

Author: nano-o

README.md

@@ -151,7 +151,7 @@ Ideally these will be moved into this repo over time.
 | [Petri Nets](https://github.com/elh/petri-tlaplus)                                                                                | Instantiable Petri Nets with liveness properties                                                                                          | Eugene Huang                                                               |          |             |     ✔     |         |          |
 | [CRDT](https://github.com/JYwellin/CRDT-TLA)                                                                                      | Specifying and Verifying CRDT Protocols                                                                                                   | Ye Ji, Hengfeng Wei                                                        |          |             |     ✔     |         |          |
 | [Azure Cosmos DB](https://github.com/tlaplus/azure-cosmos-tla)                                                                    | Consistency models provided by Azure Cosmos DB                                                                                            | Dharma Shukla, Ailidani Ailijiang, Murat Demirbas, Markus Kuppe            |          |             |     ✔     |    ✔    |          |
-| [Simple Microwave Oven](specifications/microwave)                                                                                 | Spec of a microwave oven                                                                                                                  | Konstantin Läufer, George K. Thiruvathukal                        |    ✔    |         |             |     ✔     |         |          |
+| [Simple Microwave Oven](https://github.com/lucformalmethodscourse/microwave-tla)                                                                                 | Spec of a microwave oven                                                                                                                  | Konstantin Läufer, George K. Thiruvathukal                                 |    ✔     |             |           |    ✔    |          |   |
 
 ## Contributing a Spec