• .gitignore -rw-r--r-- 7 bytes
• Main.lean -rw-r--r-- 1450 bytes
• Sort.lean -rw-r--r-- 1092 bytes
• Test.lean -rw-r--r-- 1372 bytes
• lake-manifest.json -rw-r--r-- 3821 bytes
• lakefile.toml -rw-r--r-- 240 bytes
• lean-toolchain -rw-r--r-- 25 bytes