https://github.com/will-lynas/lean-snippets.nvim

📐 Neovim snippets for Lean
https://github.com/will-lynas/lean-snippets.nvim

lean luasnip neovim nvim snippets

Last synced: about 1 month ago
JSON representation

📐 Neovim snippets for Lean

• Host: GitHub
• URL: https://github.com/will-lynas/lean-snippets.nvim
• Owner: will-lynas
• License: mit
• Created: 2024-10-08T13:24:29.000Z (3 months ago)
• Default Branch: main
• Last Pushed: 2024-10-10T22:31:47.000Z (3 months ago)
• Last Synced: 2024-12-01T05:39:06.960Z (about 1 month ago)
• Topics: lean, luasnip, neovim, nvim, snippets
• Language: Lua
• Homepage:
• Size: 4.88 KB
• Stars: 3
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# lean-snippets.nvim

A collection of opinionated `LuaSnip` snippets for writing `lean4`.

## `lazy.nvim` install

```lua

{

	"will-lyans/lean-snippets.nvim",

	dependencies = { "L3MON4D3/LuaSnip" },

	opts = {},

}

```

Please see [LuaSnip](https://github.com/L3MON4D3/LuaSnip) for examples of how to set up `nvim-cmp`