From 54be6b29ecff5551bb6d8be0ec88eb11bd7ffe86 Mon Sep 17 00:00:00 2001
From: Peiyang Song <psong@caltech.edu>
Date: Thu, 19 Dec 2024 15:55:50 -0800
Subject: [PATCH] feat: add LeanCopilot (#115)

---
 projects.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/projects.yaml b/projects.yaml
index 05fef6a..98e14b9 100644
--- a/projects.yaml
+++ b/projects.yaml
@@ -120,6 +120,9 @@ projects:
   - name: LeanDojo
     category: tool
     github_id: lean-dojo/LeanDojo
+  - name: LeanCopilot
+    category: tool
+    github_id: lean-dojo/LeanCopilot
   - name: Reservoir
     category: tool
     github_id: leanprover/reservoir