diff --git a/README.md b/README.md
index 1ea1f06..aeb01ff 100644
--- a/README.md
+++ b/README.md
@@ -4,15 +4,6 @@ A cute collection of type checker implementations demonstrating modern type chec
 
 [![CI](https://github.com/sdiehl/typechecker-zoo/actions/workflows/ci.yml/badge.svg)](https://github.com/sdiehl/typechecker-zoo/actions/workflows/ci.yml)
 
-<div align="center">
-
-| | |
-|:---:|:---:|
-| [<img src="./docs/src/lambda.png" width="128" height="auto"><br/>**Algorithm W**](./algorithm-w/src) | [<img src="./docs/src/ocaml.png" width="128" height="auto"><br/>**System F**](./system-f/src) |
-| [<img src="./docs/src/haskell.png" width="128" height="auto"><br/>**System F-ω**](./system-f-omega/src) | [<img src="./docs/src/lean.png" width="128" height="auto"><br/>**Calculus of Constructions**](./coc/src) |
-
-</div>
-
 ### Algorithm W
 
 Robin Milner's classic Hindley-Milner type inference algorithm from *A Theory of Type Polymorphism in Programming*.
diff --git a/docs/src/haskell.png b/docs/src/haskell.png
deleted file mode 100644
index 0c49467..0000000
Binary files a/docs/src/haskell.png and /dev/null differ
diff --git a/docs/src/introduction.md b/docs/src/introduction.md
index 6a84cd9..68dc43f 100644
--- a/docs/src/introduction.md
+++ b/docs/src/introduction.md
@@ -13,9 +13,6 @@ The examples are implemented in fairly idiomatic Rust with a full parser and tes
 The four little critters we're going to build are:
 
 <div class="type-system-section">
-<a href="./foundations/lambda-calculus.html">
-<img src="lambda.png" alt="Lambda calculus symbol" class="type-system-logo">
-</a>
 
 [**Algorithm W**](./foundations/lambda-calculus.html) *(775 lines of code)*
 
@@ -23,9 +20,6 @@ Robin Milner's classic Hindley-Milner type inference algorithm from *A Theory of
 </div>
 
 <div class="type-system-section">
-<a href="./implementations/system-f/system-f.html">
-<img src="ocaml.png" alt="OCaml logo" class="type-system-logo">
-</a>
 
 [**System F**](./implementations/system-f/system-f.html) *(1090 lines of code)*
 
@@ -35,9 +29,6 @@ An implementation of DK algorithm from *Complete and Easy Bidirectional Typechec
 </div>
 
 <div class="type-system-section">
-<a href="./implementations/system-f-omega/system-f-omega.html">
-<img src="haskell.png" alt="Haskell logo" class="type-system-logo">
-</a>
 
 [**System F-ω**](./implementations/system-f-omega/system-f-omega.html) *(3196 lines of code)*
 
@@ -47,9 +38,6 @@ Uses the method of *A Mechanical Formalization of Higher-Ranked Polymorphic Type
 </div>
 
 <div class="type-system-section">
-<a href="./implementations/coc/calculus-of-constructions.html">
-<img src="lean.png" alt="Lean logo" class="type-system-logo">
-</a>
 
 [**Calculus of Constructions**](./implementations/coc/calculus-of-constructions.html) *(6000 lines of code)*
 
diff --git a/docs/src/lambda.png b/docs/src/lambda.png
deleted file mode 100644
index fde2728..0000000
Binary files a/docs/src/lambda.png and /dev/null differ
diff --git a/docs/src/lean.png b/docs/src/lean.png
deleted file mode 100644
index a22b95b..0000000
Binary files a/docs/src/lean.png and /dev/null differ
diff --git a/docs/src/ocaml.png b/docs/src/ocaml.png
deleted file mode 100644
index 217dec2..0000000
Binary files a/docs/src/ocaml.png and /dev/null differ