This is an unofficial, community-made directory. Not affiliated with Obsidian or Dynalist Inc.
Actively maintainedDeveloperbeginner

Lean Syntax Highlight for Obsidian

Provides live syntax highlighting for the Lean programming language in Obsidian notes.

Best For

developersstudentsacademicsresearchersbeginners

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

leansyntax-highlightprogrammingcodeediting

Related Plugins

ActiveDeveloper
2.6M 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.

by VinzentView details →
StaleDeveloper
2.3M downloads

Style Settings

Enables users to modify CSS variables in themes, plugins, and snippets for custom styling.

by obsidian-communityView details →
ActiveDeveloper
733K downloads

BRAT

Easily install a beta version of a plugin for testing within Obsidian.

by tfthackerView details →