microwave spec: fix link in table

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

Author: nano-o

README.md

@@ -112,8 +112,8 @@ Here is a list of specs stored in locations outside this repository or not valid
 Since these specs are not covered by CI testing it is possible they contain errors, the reported details are incorrect, or they are no longer available.
 Ideally these will be moved into this repo over time.
 | Spec                                                                                                                              | Details                                                                                                                                   | Author(s)                                                                  | Beginner | TLAPS Proof | TLC Model | PlusCal | Apalache |
-| --------------------------------------------------------------------------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------- | :------: | :---------: | :-------: | :-----: | :------: |
-| [Blocking Queue](https://github.com/lemmy/BlockingQueue)                                                                          | BlockingQueue                                                                                                                             | Markus Kuppe                                                               |    ✔     |      ✔      |     ✔     |    (✔)  |          |
+|-----------------------------------------------------------------------------------------------------------------------------------|-------------------------------------------------------------------------------------------------------------------------------------------|----------------------------------------------------------------------------|:--------:|:-----------:|:---------:|:-------:|:--------:|---|
+| [Blocking Queue](https://github.com/lemmy/BlockingQueue)                                                                          | BlockingQueue                                                                                                                             | Markus Kuppe                                                               |    ✔     |      ✔      |     ✔     |   (✔)   |          |
 | IEEE 802.16 WiMAX Protocols                                                                                                       | 2006, [paper](https://users.cs.northwestern.edu/~ychen/Papers/npsec06.pdf), [specs](http://list.cs.northwestern.edu/802.16/)              | Prasad Narayana, Ruiming Chen, Yao Zhao, Yan Chen, Zhi (Judy) Fu, Hai Zhou |          |             |           |         |          |
 | On the diversity of asynchronous communication                                                                                    | 2016, [paper](https://dl.acm.org/doi/10.1007/s00165-016-0379-x), [specs](http://hurault.perso.enseeiht.fr/asynchronousCommunication/)     | Florent Chevrou, Aurélie Hurault, Philippe Quéinnec                        |          |             |           |         |          |
 | [Caesar](specifications/Caesar)                                                                                                   | Multi-leader generalized consensus protocol (Arun et al., 2017)                                                                           | Giuliano Losa                                                              |          |             |     ✔     |    ✔    |          |
@@ -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