jesse-michael-han

;; jesse-michael-han's Emacs lean-mode hooks

;; append this to your init file (init.el or .emacs)

(require 'lean-mode)

(require 'lean-leanpkg)

(require 'smartparens)