Cradicle Explorer
Untitled
Info
Issues
Patches
Wallets
Source
Source
.github
Untitled
Basic.lean
tutorial-exercise.lean
.gitignore
Main.lean
README.md
Untitled.lean
lake-manifest.json
lakefile.toml
lean-toolchain
/
Untitled
/ Basic.lean
Basic.lean
1
def hello := "world"