Problems installing mathcomp 8.12/8.13 via nix on Catalina

后端未结

关注

 0  326

I run mathcomp 8.12 with Proof General on MacOS High Sierra, using nix version 2.3.7. For this I use the following shell command:

nix-shell -p coqPackages_8_1


                      
              相关标签: