Search...Search plugins and themes...

⌘K

Get started
Download
Pricing
Enterprise
Account

Obsidian
Overview
Sync
Publish
Canvas
Mobile
Web Clipper
CLI

Learn
Help
Developers
Changelog
About
Roadmap
Blog

Resources
System status
License overview
Terms of service
Privacy policy
Security

Community
Plugins
Themes
Discord
Forum / 中文论坛
Merch store
Brand guidelines

Follow us

Discord Twitter Bluesky Threads Mastodon YouTube GitHub

© 2026 Obsidian

tomaz1502

tomaz1502

Elsewhere

github.com/tomaz1502 tomaz1502

github.com/tomaz1502 tomaz1502

Plugins1
Themes0

Lean Syntax Highlight

Provides live syntax highlight for the Lean programming language