Code

Add Lean 4 syntax support.#54

Code

Merged

Julian merged 1 commit intoJulian:mainJulian/lean.nvim:mainfrom rish987:lean4_syntaxrish987/lean.nvim:lean4_syntaxCopy head branch name to clipboardJun 14, 2021

+182

Commits

Commits on Jun 13, 2021

• Add Lean 4 syntax support.

  rish987

  committed
  9fb4aa9

  Copy full SHA for 9fb4aa9