Lean Syntax Highlight
by tomaz1502
Score: 36/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
5
stars
1,522
downloads
0
forks
317
days
317
days
317
days
0
total PRs
0
open PRs
0
closed PRs
0
merged PRs
2
total issues
1
open issues
1
closed issues
8
commits
Latest Version
10 months ago
Changelog
README file from