Obsidian Plugin Observer
Observatory
Developers
Security Guide
Observer Plugin
About
Ecosystem
Trends
Lean Syntax Highlight — Obsidian Plugin Observer
Lean Syntax Highlight
tomaz1502
Provides live syntax highlight for the Lean programming language
2,205 downloads
GitHub
100
Secure
Overview
Findings
0
Network
0
Dependencies
11
Diff
Versions
4