orpheus/leaning
Watch
1
0
Fork
You've already forked leaning
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
2 commits 1 branch 0 tags 31 KiB
  • Lean 100%
Find a file
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Orpheus Lummis 9a769ae3c3 WIP
2023-12-04 11:00:54 +05:45
Leaning WIP 2023-12-04 11:00:54 +05:45
.gitignore WIP 2023-12-04 11:00:54 +05:45
Basic.lean WIP 2023-12-04 11:00:54 +05:45
lakefile.lean WIP 2023-12-04 11:00:54 +05:45
lean-toolchain WIP 2023-12-04 11:00:54 +05:45
Leaning.lean WIP 2023-12-04 11:00:54 +05:45
Main.lean WIP 2023-12-04 11:00:54 +05:45
README.md Initial commit 2023-12-04 08:13:14 +03:00

README.md

leaning