{ pkgs ? import <nixpkgs-unstable> {} }:
pkgs.mkShell {
  packages = with pkgs; [
    # coq_8_20
    coq
    coqPackages.stdlib
    # coqPackages.vscoq-language-server
  ];

  shellHook = ''
    export ROCQPATH="$COQPATH"
    unset COQPATH
  '';
}