feat: add LeanCopilot (#115)

34j · Dec 19, 2024 · 54be6b2 · 54be6b2
1 parent 29c8de7
commit 54be6b2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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