Files
shed/modules/home/programs/nixvim/plugins/coq.nix