• .envrc -rw-r--r-- 8 bytes
• .github/ drwxrwxrwx 36 bytes
• .gitignore -rw-r--r-- 29 bytes
• LICENSE -rw-r--r-- 1073 bytes
• Main.lean -rw-r--r-- 2187 bytes
• README.md -rw-r--r-- 1537 bytes
• SQLite.lean -rw-r--r-- 18 bytes
• SQLite/ drwxrwxrwx 36 bytes
• Tests/ drwxrwxrwx 39 bytes
• lake-manifest.json -rw-r--r-- 414 bytes
• lakefile.lean -rw-r--r-- 1564 bytes
• lean-toolchain -rw-r--r-- 25 bytes
• native/ drwxrwxrwx 153 bytes