Lean Syntax Highlight for Obsidian
Provides live syntax highlighting for the Lean programming language in Obsidian notes.
Chinese summary
为Obsidian笔记中的Lean编程语言提供实时语法高亮。
Key Use Cases
- Writing and editing Lean code snippets
- Learning Lean syntax
- Reviewing formal proofs in Lean
Pros
- Real-time highlighting improves readability
- Easy to install and use
- Specifically tailored for Lean
Limitations
- Only supports Lean language
- May not cover all custom syntax extensions
Tags
Related Plugins
2.5M downloads
Git
Git plugin automatically backs up your Obsidian vault to a Git repository on a schedule. It's the go-to backup and version control solution for technical users who want full history of their notes.
2.3M downloads
Style Settings
Allows users to adjust CSS variables of themes, plugins, and custom snippets directly from an intuitive settings panel.
Get the best Obsidian plugins in your inbox
Monthly picks: top new plugins, hidden gems, and curated plugin stacks for different workflows.