Add lean snippets and do Neovide

UltiSnips/lean.snippets

@@ -0,0 +1,26 @@
+snippet ß "Backslash" A
+\\
+endsnippet
+
+snippet <> "Add sharp brackets"
+⟨$1⟩$0
+endsnippet
+
+# Mengen
+snippet N "Natural number"
+ℕ
+endsnippet
+
+snippet Z "Whole numbers"
+ℤ
+endsnippet
+
+
+# Quantoren
+snippet E "Exists"
+∃
+endsnippet
+
+snippet A "All"
+∀
+endsnippet

lua/plugins.lua

@@ -111,4 +111,30 @@ return {
 			{ "<leader>wT", "<cmd>lua require('neowiki').open_wiki_new_tab()<cr>", desc = "Open Wiki in Tab" },
 		},
 	},
+
+	-- Lean
+	{
+		"Julian/lean.nvim",
+		event = { "BufReadPre *.lean", "BufNewFile *.lean" },
+
+		dependencies = {
+			"neovim/nvim-lspconfig",
+			"nvim-lua/plenary.nvim",
+
+			-- optional dependencies:
+
+			-- a completion engine
+			--    hrsh7th/nvim-cmp or Saghen/blink.cmp are popular choices
+
+			-- 'nvim-telescope/telescope.nvim', -- for 2 Lean-specific pickers
+			-- 'andymass/vim-matchup',          -- for enhanced % motion behavior
+			-- 'andrewradev/switch.vim',        -- for switch support
+			-- 'tomtom/tcomment_vim',           -- for commenting
+		},
+
+		---@type lean.Config
+		opts = { -- see below for full configuration options
+			mappings = true,
+		},
+	},
 }

lua/vanilla.lua

@@ -29,7 +29,6 @@ vim.opt.encoding = "UTF-8"
 vim.g.tex_flavor = "latex"
 vim.opt.conceallevel = 2
 vim.opt.showmatch = true
-vim.o.guifont = "Source Code Pro:h13"
 
 -- set color scheme
 vim.opt.termguicolors = true