README.md

lean-snippets.nvim

A collection of opinionated LuaSnip snippets for writing lean4.

lazy.nvim install

{
	"will-lyans/lean-snippets.nvim",
	dependencies = { "L3MON4D3/LuaSnip" },
	opts = {},
}

Please see LuaSnip for examples of how to set up nvim-cmp