Tag: installation

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)