Coq: Difference between revisions

Revision as of 09:58, 6 September 2018 view source imported>Vbgl →ProofGeneral: evil-mode ← Older edit		Revision as of 05:44, 20 September 2021 view source imported>Nix m add Software/Applications subcategory Newer edit →
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>

			[[Category:Applications]]