• .gitignore -rw-r--r-- 8 bytes
• c/ drwxrwxrwx 35 bytes
• lake-manifest.json -rw-r--r-- 109 bytes
• lakefile.lean -rw-r--r-- 555 bytes
• lean/ drwxrwxrwx 73 bytes