Use a short track

PatrickMassot · Feb 24, 2025 · 44320bd · 44320bd
1 parent a8e5457
commit 44320bd
Show file tree

Hide file tree

Showing 9 changed files with 1,482 additions and 38 deletions.
diff --git a/GlimpseOfLean.lean b/GlimpseOfLean.lean
@@ -1,4 +1,5 @@
 import GlimpseOfLean.Introduction
+import GlimpseOfLean.Solutions.Shorter
 import GlimpseOfLean.Solutions.«01Rewriting»
 import GlimpseOfLean.Solutions.«02Iff»
 import GlimpseOfLean.Solutions.«03Forall»