Obsidian 插件：Lean Syntax Highlight

概述

该插件为 Obsidian 提供了针对 Lean 编程语言的实时语法高亮显示功能。安装后，用户可以在 Obsidian 中编辑 Lean 代码时实时看到语法高亮显示，帮助提高代码可读性和编写效率。通过简单的安装步骤，用户可以快速在 Obsidian 中使用该插件，解决了 Obsidian 原生不支持 Lean 语言语法高亮显示的问题，适用于需要在 Obsidian 中编辑 Lean 代码的用户。