diff --git a/git/.gitconfig b/git/.gitconfig
index 2ad951c..c8bb9de 100644
--- a/git/.gitconfig
+++ b/git/.gitconfig
@@ -1,22 +1,23 @@
 [user]
-	name = Nicholas Tietz-Sokolsky
-	email = me@ntietz.com
+    name = Nicholas Tietz-Sokolsky
+    email = me@ntietz.com
 [push]
-	default = simple
+    default = simple
+    autoSetupRemote = true
 [core]
-	excludesfile = /home/nicholas/.gitignore_global
-	editor = nvim
+    excludesfile = /home/nicholas/.gitignore_global
+    editor = nvim
 [alias]
-	praise = blame
+    praise = blame
 [pull]
-	rebase = false
-	ff = only
+    rebase = false
+    ff = only
 [init]
-	defaultBranch = main
+    defaultBranch = main
 [sendemail]
-	smtpserver = smtp.fastmail.com
-	smtpuser = me@ntietz.com
-	smtpencryption = tls
-	smtpserverport = 587
+    smtpserver = smtp.fastmail.com
+    smtpuser = me@ntietz.com
+    smtpencryption = tls
+    smtpserverport = 587
 [credential]
     helper = store
diff --git a/nvim/.config/nvim/plugs.vim b/nvim/.config/nvim/plugs.vim
index 5f173c2..273a14f 100644
--- a/nvim/.config/nvim/plugs.vim
+++ b/nvim/.config/nvim/plugs.vim
@@ -44,5 +44,8 @@ Plug 'neovim/nvim-lspconfig'
 Plug 'nvim-lua/plenary.nvim'
 Plug 'Julian/lean.nvim'
 
+" Coq support
+Plug 'whonore/Coqtail'
+
 
 call plug#end()
diff --git a/tmuxinator/tmuxinator/isabella.yml b/tmuxinator/tmuxinator/isabella.yml
index 5f7df36..ec108e6 100644
--- a/tmuxinator/tmuxinator/isabella.yml
+++ b/tmuxinator/tmuxinator/isabella.yml
@@ -49,5 +49,3 @@ windows:
       - clear
   - editor:
       - vim-resume
-  - watcher:
-      - bacon
diff --git a/tmuxinator/tmuxinator/lf.yml b/tmuxinator/tmuxinator/lf.yml
new file mode 100644
index 0000000..71b18dc
--- /dev/null
+++ b/tmuxinator/tmuxinator/lf.yml
@@ -0,0 +1,51 @@
+# /home/nicholas/.config/tmuxinator/Config.yml
+
+name: lf
+root: ~/Code/lf
+
+# 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
diff --git a/tmuxinator/tmuxinator/protohackers.yml b/tmuxinator/tmuxinator/protohackers.yml
new file mode 100644
index 0000000..b4b3d1c
--- /dev/null
+++ b/tmuxinator/tmuxinator/protohackers.yml
@@ -0,0 +1,51 @@
+# /home/nicholas/.config/tmuxinator/Config.yml
+
+name: protohackers
+root: ~/Code/protohackers
+
+# 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