Obsidianプラグイン

Lean Syntax Highlight

Name: Lean Syntax Highlight
Author: tomaz1502

作者　tomaz1502

Lean Syntax Highlightはtomaz1502が公開しているObsidianプラグイン。累計ダウンロード3,698回、10,297件中2,537位（2026年11月13日時点）。

公式の説明

Provides live syntax highlight for the Lean programming language