asobi/phlox-spec
5
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
1 commit 1 branch 0 tags 26 KiB
  • Lean 100%
Find a file
Exact
sjfhsjfh 734a0d5ed6
 chore: init
2026-10-20 11:54:43 +08:00
.gitignore chore: init 2026-10-20 11:54:43 +08:00
lake-manifest.json chore: init 2026-10-20 11:54:43 +08:00
lakefile.lean chore: init 2026-10-20 11:54:43 +08:00
lean-toolchain chore: init 2026-10-20 11:54:43 +08:00
Phlox.lean chore: init 2026-10-20 11:54:43 +08:00
README.md chore: init 2026-10-20 11:54:43 +08:00

README.md

Phlox