lean
URL: https://github.com/Julian/lean.nvim/
Maintainers: Austin Horstman
Neovim support for the Lean theorem prover.
plugins.lean.enable
Whether to enable lean.
Type: boolean
Default:
false
Example:
true
Declared by:
plugins.lean.package
The lean package to use.
Type: package
Default:
pkgs.vimPlugins.lean-nvim
Declared by:
plugins.lean.autoLoad
Whether to automatically load lean when neovim starts.
Type: boolean
Default:
false when lazy-loading is enabled.
Example:
false
Declared by:
plugins.lean.callSetup
Whether to generate the standard require('lean').setup(...) call for this plugin.
By default, this follows the plugin’s built-in behavior. Set this to false
to disable the generated setup call, or to true to force it even when the
plugin would only call it conditionally.
Type: null or boolean
Default:
null
Declared by: