go 有办法在启动Shell时激活默认的opam开关吗？ 英文: Is there a way to activate the default opam switch on shell startup? 问题 代码部分不需要翻译。以下是翻译好的部分： &qu... 2023年3月9日126评论shell zsh
go 如何确保Coq项目安装正确，当它似乎不出现在opam列表中？ 英文: How does one make sure that coq project installed correctly when it doesn't seem to appear o... 2023年2月14日50评论coq opam
126评论shell
zsh
