Cradicle Explorer
learn-math-with-lean
Info
Issues
Patches
Wallets
Source
Source
LearnMathWithLean
Basic.lean
.gitignore
LearnMathWithLean.lean
Main.lean
lakefile.lean
lean-toolchain
/
LearnMathWithLean
/
..
Basic.lean