Directory listing for /.codesphere-internal/nix-home/.nix-defexpr/channels/nixpkgs/pkgs/build-support/lake/test/weak-minimax/

• lake-manifest.json
• lakefile.lean
• package.nix
• WeakMinimax.lean