Zayden-Jung/my-math-project
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Import project source and Git ignore rules [skip ci]

Browse Source
This commit is contained in:
Codex Bot
2026-11-05 00:20:18 +08:00
commit ad0082e18b
10 changed files with 219 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
MyMathProject/Basic.lean
+1
View File
@@ -0,0 +1 @@
def hello := "world"