Rocq: Difference between revisions

@@ Line 1: / Line 1: @@
 == Installation ==
-The [https://coq.inria.fr Coq proof assistant] and associated tools (coqtop, coqc, coq_makefile, …) may be installed globally, by a user, in its profile:
+The [https://rocq-prover.org/ Rocq proof assistant] (formerly known as Coq) and associated tools (coqtop, coqc, coq_makefile, …) may be installed globally, by a user, in its profile:
 <code>nix-env -iA nixpkgs.coq</code>