lean layer #

The lean layer enables support for the lean proof assistant/programming language via lean.nvim. Having Lean installed is a prerequisite.

Bindings #

Mappings are listed in the “Mappings” section of lean.nvim

Configuration #

By default, visimp enables built-in abbreviations and mappings. In general, every valid argument for require('lean').setup (as shown here) is a valid configuration.

Examples #

-- path/of/your/vim/config/init.lua

require("visimp") {
  languages = {
    "lean" -- enable layer
  },
  lean = { -- configure layer
    abbreviations = {
        builtin = false -- disable builtin abbreviations
    },
    mappings = false, -- disable mappings
  }
}

Documentation #

The full documentation for the plugin is available here.