cirosantilli/lean/test0/

by Ciro Santilli (@cirosantilli, 37)

• Test0/
• .gitignore
• lake-manifest.json
• lakefile.toml
• lean-toolchain
• README.md
• Test0.lean