diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index 38d82d25..d9220c7e 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -17,11 +17,6 @@ jobs:
 
     steps:
 
-    - uses: DeterminateSystems/nix-installer-action@main
-
-    - name: Install cadical
-      run: nix profile install nixpkgs#cadical
-
     - uses: actions/checkout@v4
 
     - uses: leanprover/lean-action@v1.0.1
diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
index 94579c28..a272a748 100644
--- a/.github/workflows/makefile.yml
+++ b/.github/workflows/makefile.yml
@@ -20,11 +20,6 @@ jobs:
 
     steps:
 
-    - uses: DeterminateSystems/nix-installer-action@main
-
-    - name: Install cadical
-      run: nix profile install nixpkgs#cadical
-
     - uses: actions/checkout@v4
 
     - uses: leanprover/lean-action@v1
diff --git a/README.md b/README.md
index 2565988c..37b50e73 100644
--- a/README.md
+++ b/README.md
@@ -9,13 +9,9 @@ guidelines.
 
 ## Prerequisites
 
-1. Install the [Cadical SAT
-   Solver](https://github.com/arminbiere/cadical), and make sure that
-   it is in your path.
-
-2. Install Lean4 and your preferred editor's plug-in on your machine
-   by following [these
-   instructions](https://leanprover-community.github.io/get_started.html).
+Install Lean4 and your preferred editor's plug-in on your machine by
+following [these
+instructions](https://leanprover-community.github.io/get_started.html).
 
 ## Build Instructions