• Problem
• emacs+company-coq console mode over a tmux shared terminal over SSH
• Initial Setup Steps:
• Usage
• optional emacs/proof-general/company-coq customizations for console mode
• Pros/Cons: