Lean Syntax Highlight
by tomaz1502
Score: 50/100
favorite
share
Description
Category: Coding & Technical Tools

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.

Stats
6
stars
1,599
downloads
0
forks
349
days
5
days
5
days
1
total PRs
0
open PRs
0
closed PRs
1
merged PRs
3
total issues
0
open issues
3
closed issues
8
commits
Latest Version
6 days ago
Changelog

Change to defineMode, supporting multiline comments and nested comments.

README file from