Awesome Lean / Libraries
14CLI & Terminal
4 entries
- lean4-cliConfigure command-line interfaces and parse arguments (used by Lake).leanprover/lean4-cli
- LeansiTerminal formatting.schergen-org/Leansi
- PigmentTerminal colors and styling.RSoulatIOHK/Pigment
- asciiplotPlot functions as ASCII art in the infoview.alok/AsciiPlot