Official NixOS Wiki

Coq: Difference between revisions

← Older editNewer edit →
VisualWikitext
imported>Nix
m add Software/Applications subcategory
imported>Vbgl
No edit summary
Line 44: Line 44:


<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/


[[Category:Applications]]
[[Category:Applications]]
Retrieved from "https://wiki.nixos.org/wiki/Coq"