• .clangd -rw-r--r-- 357 bytes
• .envrc -rw-r--r-- 8 bytes
• .gitignore -rw-r--r-- 40 bytes
• Main.lean -rw-r--r-- 1162 bytes
• README.md -rw-r--r-- 16 bytes
• Sqlite.lean -rw-r--r-- 18 bytes
• Sqlite/ drwxrwxrwx 36 bytes
• lake-manifest.json -rw-r--r-- 109 bytes
• lakefile.lean -rw-r--r-- 675 bytes
• lean-toolchain -rw-r--r-- 24 bytes
• native/ drwxrwxrwx 33 bytes
• shell.nix -rw-r--r-- 96 bytes