chore: import upstream snapshot with attribution

2026-07-13 13:02:50 +08:00
commit 0fc60fdcb1
5008 changed files with 910633 additions and 0 deletions
@@ -0,0 +1,11 @@
+{
+    /*
+        Recommended VS Code extensions for the LEAN engine
+    */
+    "recommendations": [
+        "ms-dotnettools.csharp",
+        "ms-dotnettools.csdevkit",
+        "ms-vscode-remote.remote-containers",
+        "ms-python.python"
+    ]
+}