10 lines
242 B
EmacsLisp
10 lines
242 B
EmacsLisp
;;; 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)
|