fix blueprint/src/web.tex

alma-n · Jul 11, 2024 · 508aed5 · 508aed5
1 parent ec11581
commit 508aed5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/blueprint/src/web.tex b/blueprint/src/web.tex
@@ -8,7 +8,7 @@
 
 \usepackage{amssymb, amsthm, amsmath}
 \usepackage{hyperref}
-\usepackage[thms=def+lem+prop+thm+cor, showmore, dep_graph]{blueprint}
+\usepackage[showmore, dep_graph]{blueprint}
 
 
 \input{macros/common}

diff --git a/flake.nix b/flake.nix
@@ -125,8 +125,8 @@
                 pkgs.elan
               ]
               ++ (with inputs.lean4.packages.${system}; [
-                lean
-                leanc
+                #lean
+                #leanc
               ]);
             languages.python = {
               enable = true;