Coq: Difference between revisions
imported>Vbgl No edit summary |
imported>Vbgl m Typo |
||
| Line 45: | Line 45: | ||
<code>export COQPATH=$HOME/.nix-profile/lib/coq/8.7/user-contrib</code> | <code>export COQPATH=$HOME/.nix-profile/lib/coq/8.7/user-contrib</code> | ||
== See also… == | |||
Related blog post: https://yannherklotz.com/nix-for-coq/ | Related blog post: https://yannherklotz.com/nix-for-coq/ | ||
[[Category:Applications]] | [[Category:Applications]] | ||