diff --git a/general/user/packages.nix b/general/user/packages.nix
index 1275e47..87df83b 100644
--- a/general/user/packages.nix
+++ b/general/user/packages.nix
@@ -14,7 +14,8 @@ let
       ly1
       footmisc
       titling
-      frpseudocode;
+      frpseudocode
+      ebproof;
     });
 in {
   users.users.lyes.packages = with pkgs; [