GitHub repository: tomaz1502/lean-syntax-highlight
Primary language: JavaScript
Description: A plugin for Obsidian that provides syntax highlight for Lean.