Obsidian Stats logoObsidian Stats

Lean Syntax Highlight

by tomaz1502
5
4
3
2
1
Score: 52/100
Install Code

Description

Category: Coding & Technical Tools
#lean#syntax-highlight#programming

The Lean Syntax Highlight plugin for Obsidian adds live syntax highlighting for the Lean programming language. This plugin enhances the readability of Lean code within Obsidian by providing clear and structured color-coded syntax. It is ideal for users working with Lean, offering real-time visual distinction of keywords, functions, and variables. The plugin is a fork of existing syntax highlight tools and is focused solely on Lean, which is not natively supported in Obsidian. With this plugin, users can improve their coding workflow by making Lean code easier to read and understand.

Reviews

No reviews yet.

Stats

7
stars
2,277
downloads
1
forks
802
days
459
days
459
days
1
total PRs
0
open PRs
0
closed PRs
1
merged PRs
4
total issues
1
open issues
3
closed issues
8
commits

Latest Version

0.0.4
a year ago

Changelog

Change to defineMode, supporting multiline comments and nested comments.

See all version on GitHub

README file from

Github

Lean Syntax Highlight for Obsidian

A plugin for Obsidian providing live syntax highlight for the Lean programming language.

Installation

  • Open Settings > Third-party plugin
  • Make sure Safe mode is off
  • Click Browse community plugins
  • Search for "Lean Syntax Highlight"
  • Click Install
  • Once installed, close the community plugins window and activate the newly installed plugin

Note: This plugin is mostly a fork from cm-editor-syntax-highlight-obsidian and from obsidian-mlir-syntax-highlight, but only providing support for Lean (as other languages are already natively supported by Obsidian).

Sponsors