dependencies.lean.enable
Whether to enable Add lean to dependencies…
Type: boolean
Default:
false
Example:
true
Declared by:
dependencies.lean.package
The lean package to use.
Type: package
Default:
pkgs.lean4
Declared by:
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
Whether to enable Add lean to dependencies…
Type: boolean
Default:
false
Example:
true
Declared by:
The lean package to use.
Type: package
Default:
pkgs.lean4
Declared by: