diff --git a/home/programs/emacs/cfg/init.el b/home/programs/emacs/cfg/init.el
index 5f35f8f..fbfa765 100644
--- a/home/programs/emacs/cfg/init.el
+++ b/home/programs/emacs/cfg/init.el
@@ -3,6 +3,9 @@
 (setq doom-leader-key      ","   ;; global leader
       doom-localleader-key ",")    ;; local-leader
 
+(setq x-super-keysym 'meta
+      x-meta-keysym  'alt)
+
 ;; This file controls what Doom modules are enabled and what order they load
 ;; in. Remember to run 'doom sync' after modifying it!
 
diff --git a/home/programs/emacs/default.nix b/home/programs/emacs/default.nix
index e9329fa..34eede6 100644
--- a/home/programs/emacs/default.nix
+++ b/home/programs/emacs/default.nix
@@ -7,7 +7,10 @@
   doomPath = "/home/synchronous/nix-cfg/home/programs/emacs/cfg";
 in {
   # https://nixos-and-flakes.thiscute.world/best-practices/accelerating-dotfiles-debugging
-  xdg.configFile."doom".source = config.lib.file.mkOutOfStoreSymlink doomPath;
+  xdg.configFile."doom" = {
+    source = config.lib.file.mkOutOfStoreSymlink doomPath;
+    recursive = true;
+  };
 
   programs.emacs = {
     enable = true;
@@ -57,9 +60,15 @@ in {
     libtool
 
     # emacsPackages.agda-input
+    agda
     emacsPackages.agda2-mode
     emacsPackages.agda-editor-tactics
 
+    # coq
+    coq_8_19
+
+    # lean4
+
     ## Doom dependencies
     (ripgrep.override {withPCRE2 = true;})
     gnutls