Cradicle Explorer
Untitled
Info
Issues
Patches
Wallets
Source
Source
.github
Untitled
.gitignore
Main.lean
README.md
Untitled.lean
lake-manifest.json
lakefile.toml
lean-toolchain
/
lean-toolchain
lean-toolchain
1
leanprover/lean4:v4.28.0