diff --git a/.gitignore b/.gitignore
index 2a632006..1b1fc1d0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,8 +9,6 @@
 *.fls
 *.log
 *.synctex.gz
-# Python virtual environment 
-/.venv/
-# Lean blueprint 
+# Lean blueprint
 /blueprint/lean_decls
 /blueprint/src/web.bbl