chore: delete unused files (#1851)

crates.nix

@@ -1,27 +0,0 @@
-{...}: {
-  perSystem = {pkgs, ...}: {
-    # declare projects
-    # TODO: change this to your workspace's path
-    nci.projects."my-project" = {
-      path = ./.;
-      # export all crates (packages and devshell) in flake outputs
-      # alternatively you can access the outputs and export them yourself
-      export = true;
-    };
-    # configure crates
-    nci.crates = {
-      "tinymist" = {
-        drvConfig = {
-          # env.HELLO_WORLD = true;
-        };
-        # look at documentation for more options
-      };
-      # "my-other-workspace-crate" = {
-      #   drvConfig = {
-      #     mkDerivation.buildInputs = [pkgs.hello];
-      #   };
-      #   # look at documentation for more options
-      # };
-    };
-  };
-}

lazyvim/Dockerfile

@@ -1,41 +0,0 @@
-FROM ubuntu:24.04 AS builder
-
-RUN apt-get update && apt-get install -y \
-    git \
-    file \
-    ninja-build gettext cmake unzip curl build-essential
-
-RUN git clone --filter=blob:none --branch stable https://github.com/neovim/neovim && cd neovim && make CMAKE_BUILD_TYPE=RelWithDebInfo
-RUN cd neovim/build && cpack -G DEB && dpkg -i nvim-linux64.deb
-
-
-FROM ubuntu:24.04
-
-COPY --from=builder /neovim/build/nvim-linux64.deb /tmp/nvim-linux64.deb
-RUN apt-get update && apt-get install -y \
-    /tmp/nvim-linux64.deb \
-    curl \
-    gcc \
-    git \
-    make \
-    ripgrep \
-    zsh \
-    && rm /tmp/nvim-linux64.deb
-
-RUN useradd --create-home --shell /bin/zsh lean
-USER lean
-WORKDIR /home/lean
-
-RUN curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none
-
-ENV PATH="/home/lean/.elan/bin:${PATH}"
-
-RUN git clone --filter=blob:none https://github.com/LazyVim/starter ~/.config/nvim
-COPY lean.lua .config/nvim/lua/plugins/lean.lua
-
-ARG LEAN_PROJECT=https://github.com/leanprover-community/mathlib4
-
-RUN git clone --filter=blob:none $LEAN_PROJECT && cd $(basename "$LEAN_PROJECT") && lake exe cache get && elan default "$(cat lean-toolchain || echo stable)"
-
-# SHELL isn't supported by OCI images
-CMD ["zsh", "-l"]

lazyvim/devcontainer.json

@@ -1,5 +0,0 @@
-{
-  "name": "lazylean.nvim",
-  "build": { "dockerfile": "Dockerfile" },
-  "onCreateCommand": "git clone --filter=blob:none https://github.com/leanprover-community/Mathlib4.git && cd Mathlib4 && lake exe cache get! && nvim +quit"
-}

lazyvim/lean.lua

@@ -1,18 +0,0 @@
-return {
-  {
-    'Julian/lean.nvim',
-    dependencies = {
-      'nvim-lua/plenary.nvim',
-      'neovim/nvim-lspconfig',
-    },
-    ---@module 'lean'
-    ---@type lean.Config
-    opts = {
-      infoview = {
-        horizontal_position = 'top',
-        show_processing = false,
-      },
-      mappings = true,
-    },
-  },
-}