diff --git a/users/grfn/system/home/modules/emacs.nix b/users/grfn/system/home/modules/emacs.nix
index 79eb20d95..b84b36843 100644
--- a/users/grfn/system/home/modules/emacs.nix
+++ b/users/grfn/system/home/modules/emacs.nix
@@ -48,6 +48,8 @@ in
             upquote
             varwidth
             wrapfig
+            bussproofs
+            bussproofs-extra
             ;
         })