diff --git a/data/subprojects.yml b/data/subprojects.yml
index ab34038..235a34f 100644
--- a/data/subprojects.yml
+++ b/data/subprojects.yml
@@ -44,11 +44,6 @@ subprojects:
       The libclc project aims to implement the OpenCL standard library.
     url: "https://libclc.llvm.org/"
 
-  - name: "klee"
-    description: |
-      The klee project implements a "symbolic virtual machine" which uses a theorem prover to try to evaluate all dynamic paths through a program in an effort to find bugs and to prove properties of functions. A major feature of klee is that it can produce a testcase in the event that it detects a bug.
-    url: "https://klee.llvm.org/"
-
   - name: "LLD"
     description: |
       The LLD project is a new linker that is a drop-in replacement for system linkers and runs much faster.