diff --git a/modules/desktop/apps/default.nix b/modules/desktop/apps/default.nix
index ec62554..8cc2b06 100644
--- a/modules/desktop/apps/default.nix
+++ b/modules/desktop/apps/default.nix
@@ -15,6 +15,7 @@
       startInBackground = true;
     };
     home.packages = with pkgs; [
+      tlaplusToolbox
       anki
       calibre
       gparted