From e0d40f799cdbf1c6aef609440d9d2cf12fff4402 Mon Sep 17 00:00:00 2001
From: AlexKontorovich <58564076+AlexKontorovich@users.noreply.github.com>
Date: Sun, 14 Dec 2025 10:20:22 -0500
Subject: [PATCH] cover image

---
 Game.lean | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Game.lean b/Game.lean
index 789358b..13aed69 100644
--- a/Game.lean
+++ b/Game.lean
@@ -168,6 +168,8 @@ Languages "en"
 CaptionShort "Real Analysis, The Game"
 CaptionLong "Learn real analysis through the historical crises that forced mathematicians to rebuild calculus from the ground up in the 19th century."
 
+CoverImage "images/cover.png"
+
 set_option lean4game.showDependencyReasons true
 
 /-! Build the game. Show's warnings if it found a problem with your game. -/