From fba339faa90f682876351411ed8fc76aead92497 Mon Sep 17 00:00:00 2001
From: oxe-i <oxe-b@gmail.com>
Date: Sun, 1 Mar 2026 12:09:03 -0300
Subject: [PATCH] launch track

---
 config.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.json b/config.json
index c82a6c6..e0870f0 100644
--- a/config.json
+++ b/config.json
@@ -1,7 +1,7 @@
 {
   "language": "Lean",
   "slug": "lean",
-  "active": false,
+  "active": true,
   "status": {
     "concept_exercises": false,
     "test_runner": true,