From 97fbe00d9b3d7d98145b3393c78e4ba8758a1afc Mon Sep 17 00:00:00 2001
From: Nicole Tietz-Sokolskaya <me@ntietz.com>
Date: Wed, 12 Oct 2022 09:47:55 -0400
Subject: [PATCH] Add Lean support

---
 nvim/.config/nvim/init.vim     |  2 ++
 nvim/.config/nvim/lean.lua     |  4 +++
 nvim/.config/nvim/plugs.vim    |  6 ++++
 tmuxinator/tmuxinator/lean.yml | 51 ++++++++++++++++++++++++++++++++++
 4 files changed, 63 insertions(+)
 create mode 100644 nvim/.config/nvim/lean.lua
 create mode 100644 tmuxinator/tmuxinator/lean.yml

diff --git a/nvim/.config/nvim/init.vim b/nvim/.config/nvim/init.vim
index fc8c751..bf010e8 100644
--- a/nvim/.config/nvim/init.vim
+++ b/nvim/.config/nvim/init.vim
@@ -3,6 +3,8 @@ let $FZF_DEFAULT_COMMAND='rg --files --follow --hidden -g "!{node_modules/*,.git
 source $HOME/.config/nvim/plug/plug.vim
 source $HOME/.config/nvim/plugs.vim
 
+source $HOME/.config/nvim/lean.lua
+
 syntax on
 filetype plugin indent on
 
diff --git a/nvim/.config/nvim/lean.lua b/nvim/.config/nvim/lean.lua
new file mode 100644
index 0000000..c58e8e9
--- /dev/null
+++ b/nvim/.config/nvim/lean.lua
@@ -0,0 +1,4 @@
+require('lean').setup{
+  abbreviations = { builtin = true },
+  mappings = true,
+}
diff --git a/nvim/.config/nvim/plugs.vim b/nvim/.config/nvim/plugs.vim
index 6bd2c4d..b712249 100644
--- a/nvim/.config/nvim/plugs.vim
+++ b/nvim/.config/nvim/plugs.vim
@@ -35,4 +35,10 @@ Plug 'neoclide/coc.nvim', {'branch': 'release'}
 " After installation, run this to setup with Rust:
 " :CocInstall coc-rust-analyzer
 
+" Lean theorem prover support
+Plug 'neovim/nvim-lspconfig'
+Plug 'nvim-lua/plenary.nvim'
+Plug 'Julian/lean.nvim'
+
+
 call plug#end()
diff --git a/tmuxinator/tmuxinator/lean.yml b/tmuxinator/tmuxinator/lean.yml
new file mode 100644
index 0000000..eb5d70e
--- /dev/null
+++ b/tmuxinator/tmuxinator/lean.yml
@@ -0,0 +1,51 @@
+# /home/nicholas/.config/tmuxinator/Config.yml
+
+name: lean
+root: ~/Code/lean
+
+# Optional tmux socket
+# socket_name: foo
+
+# Note that the pre and post options have been deprecated and will be replaced by
+# project hooks.
+
+# Project hooks
+
+# Runs on project start, always
+# on_project_start: command
+
+# Run on project start, the first time
+# on_project_first_start: command
+
+# Run on project start, after the first time
+# on_project_restart: command
+
+# Run on project exit ( detaching from tmux session )
+# on_project_exit: command
+
+# Run on project stop
+# on_project_stop: command
+
+# Runs in each window and pane before window/pane specific commands. Useful for setting up interpreter versions.
+# pre_window: rbenv shell 2.0.0-p247
+
+# Pass command line options to tmux. Useful for specifying a different tmux.conf.
+# tmux_options: -f ~/.tmux.mac.conf
+
+# Change the command to call tmux.  This can be used by derivatives/wrappers like byobu.
+# tmux_command: byobu
+
+# Specifies (by name or index) which window will be selected on project startup. If not set, the first window is used.
+# startup_window: editor
+
+# Specifies (by index) which pane of the specified window will be selected on project startup. If not set, the first pane is used.
+# startup_pane: 1
+
+# Controls whether the tmux session should be attached to automatically. Defaults to true.
+# attach: false
+
+windows:
+  - shell:
+      - clear
+  - editor:
+      - vim-resume