GitHub repository: Julian/lean.nvim
Primary language: Lua
Created: 2020-12-30T20:48:02Z
Description: Neovim support for the Lean theorem prover