• 23-Feb-2022: Setting up Debian
• 03-Apr-2021: Installing qflow
• Feb-2021: Setting up emacs as interface for coq
• Feb-2021: Installing coqtail in nvim with vim-plug
• Feb-2021: Installing coq using opam (Ubuntu and FreeBSD)