• .clangd -rw-r--r-- 357 bytes
• .envrc -rw-r--r-- 8 bytes
• .gitignore -rw-r--r-- 27 bytes
• Flean.lean -rw-r--r-- 49 bytes
• Flean/ drwxrwxrwx 36 bytes
• Main.lean -rw-r--r-- 179 bytes
• README.md -rw-r--r-- 9 bytes
• ffi/ drwxrwxrwx 146 bytes
• lake-manifest.json -rw-r--r-- 595 bytes
• lakefile.lean -rw-r--r-- 225 bytes
• lean-toolchain -rw-r--r-- 23 bytes
• shell.nix -rw-r--r-- 96 bytes