/

• .gitignore
• flake.lock
• flake.nix
• lake-manifest.json
• lakefile.lean
• lean-toolchain
• lib
• server
• src
• tools