;;; syd-lang-lean4.el -*- lexical-binding: t; -*-

(use-package lean4-mode
  :straight (:type git
             :host github
             :repo "leanprover-community/lean4-mode"
             :files ("*.el" "data")))

(provide 'syd-lang-lean4)