diff --git a/website/index.html b/website/index.html
index 6375517..e008a79 100755
--- a/website/index.html
+++ b/website/index.html
@@ -275,6 +275,7 @@
 							<li><a href="https://prooffrog.github.io"><i class="icon ph-duotone ph-arrow-square-out"></i>ProofFrog</a>: Tool for verifying cryptographic proofs written in the style of <em>The Joy of Cryptography</em>.</li>
 							<li><a href="https://noiseexplorer.com"><i class="icon ph-duotone ph-arrow-square-out"></i>Noise Explorer</a>: an online engine for reasoning about Noise Protocol Framework Handshake Patterns.</li>
 							<li><a href="https://tls13.ulfheim.net/"><i class="icon ph-duotone ph-arrow-square-out"></i>The New Illustrated TLS Connection</a>: Every byte of a TLS connection explained and reproduced.</li>
+							<li><a href="https://github.com/proof-ladders/protocol-ladder"><i class="icon ph-duotone ph-arrow-square-out"></i>Protocol Ladder</a>: Computer-aided cryptographic proofs of simple protocols, formalized in different tools.</li>
 							<li><em>More to be added soon!</em></li>
 						</ul>
 					</div>