diff --git a/.github/workflows/pvs_prelude.yml b/.github/workflows/pvs_prelude.yml
index e574d3be7fa332fb292f6856df7d795faa76a15e..bf04121f52ec8a39bc0bd246b33e4720f8d44993 100644
--- a/.github/workflows/pvs_prelude.yml
+++ b/.github/workflows/pvs_prelude.yml
@@ -24,4 +24,9 @@ jobs:
       run: |
         eval $(opam env --switch=~/lambdapi --set-switch)
         cd pvs-translation-tools/prelude || exit 1
+        # Comment out theories that consume too much memory during 
+        # typechecking
+        sed -i 's/^floor_ceil$/-floor_ceil/' theories
+        sed -i 's/^modulo_arithmetic$/-modulo_arithmetic/' theories
+        sed -i 's/^mod$/-mod/' theories
         bmake PVSPATH=~/PVS # Set in bootstrap.sh