Zayden-Jung/my-math-project
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
codex/initial-import
my-math-project/MyMathProject.lean
T

2 lines
27 B
Lean4
Raw Permalink Blame History

import MyMathProject.Basic
Reference in New Issue View Git Blame Copy Permalink