SkyLabsAI
diff --git a/‎…o-core/theories/hints/cancelx_notation.v‎ ‎…o-core/theories/hints/cancelx_notation.v‎content/reference/coq-bluerock-auto-core/theories/hints/cancelx_notation.v renamed to content/reference/rocq-skylabs-auto-core/theories/hints/cancelx_notation.v b/‎…o-core/theories/hints/cancelx_notation.v‎ ‎…o-core/theories/hints/cancelx_notation.v‎content/reference/coq-bluerock-auto-core/theories/hints/cancelx_notation.v renamed to content/reference/rocq-skylabs-auto-core/theories/hints/cancelx_notation.v
diff --git a/‎…uerock-auto-core/theories/hints/orient.v‎ ‎…kylabs-auto-core/theories/hints/orient.v‎content/reference/coq-bluerock-auto-core/theories/hints/orient.v renamed to content/reference/rocq-skylabs-auto-core/theories/hints/orient.v b/‎…uerock-auto-core/theories/hints/orient.v‎ ‎…kylabs-auto-core/theories/hints/orient.v‎content/reference/coq-bluerock-auto-core/theories/hints/orient.v renamed to content/reference/rocq-skylabs-auto-core/theories/hints/orient.v
diff --git a/‎…erock-auto-cpp/theories/auto/cpp/Arith.v‎ ‎…ylabs-auto-cpp/theories/auto/cpp/Arith.v‎content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/Arith.v renamed to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/Arith.v b/‎…erock-auto-cpp/theories/auto/cpp/Arith.v‎ ‎…ylabs-auto-cpp/theories/auto/cpp/Arith.v‎content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/Arith.v renamed to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/Arith.v
diff --git a/‎…-cpp/theories/auto/cpp/auto_frac/hints.v‎ ‎…-cpp/theories/auto/cpp/auto_frac/hints.v‎content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/auto_frac/hints.v renamed to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/auto_frac/hints.v b/‎…-cpp/theories/auto/cpp/auto_frac/hints.v‎ ‎…-cpp/theories/auto/cpp/auto_frac/hints.v‎content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/auto_frac/hints.v renamed to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/auto_frac/hints.v
diff --git a/‎…auto-cpp/theories/auto/cpp/breakpoints.v‎ ‎…auto-cpp/theories/auto/cpp/breakpoints.v‎content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/breakpoints.v renamed to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/breakpoints.v b/‎…auto-cpp/theories/auto/cpp/breakpoints.v‎ ‎…auto-cpp/theories/auto/cpp/breakpoints.v‎content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/breakpoints.v renamed to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/breakpoints.v
diff --git a/‎…k-auto-cpp/theories/auto/cpp/cpp_proof.v‎ ‎…s-auto-cpp/theories/auto/cpp/cpp_proof.v‎content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/cpp_proof.v renamed to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/cpp_proof.v b/‎…k-auto-cpp/theories/auto/cpp/cpp_proof.v‎ ‎…s-auto-cpp/theories/auto/cpp/cpp_proof.v‎content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/cpp_proof.v renamed to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/cpp_proof.v
diff --git a/‎…theories/auto/cpp/delayed_case_tactics.v‎ ‎…theories/auto/cpp/delayed_case_tactics.v‎content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/delayed_case_tactics.v renamed to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/delayed_case_tactics.v b/‎…theories/auto/cpp/delayed_case_tactics.v‎ ‎…theories/auto/cpp/delayed_case_tactics.v‎content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/delayed_case_tactics.v renamed to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/delayed_case_tactics.v
diff --git a/‎…o-cpp/theories/auto/cpp/elpi/cpp_class.v‎ ‎…o-cpp/theories/auto/cpp/elpi/cpp_class.v‎content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_class.v renamed to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_class.v b/‎…o-cpp/theories/auto/cpp/elpi/cpp_class.v‎ ‎…o-cpp/theories/auto/cpp/elpi/cpp_class.v‎content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_class.v renamed to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_class.v
diff --git a/‎…to-cpp/theories/auto/cpp/elpi/cpp_enum.v‎ ‎…to-cpp/theories/auto/cpp/elpi/cpp_enum.v‎content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_enum.v renamed to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_enum.v b/‎…to-cpp/theories/auto/cpp/elpi/cpp_enum.v‎ ‎…to-cpp/theories/auto/cpp/elpi/cpp_enum.v‎content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_enum.v renamed to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_enum.v
diff --git a/‎…to-cpp/theories/auto/cpp/elpi/cpp_spec.v‎ ‎…to-cpp/theories/auto/cpp/elpi/cpp_spec.v‎content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_spec.v renamed to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_spec.v b/‎…to-cpp/theories/auto/cpp/elpi/cpp_spec.v‎ ‎…to-cpp/theories/auto/cpp/elpi/cpp_spec.v‎content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_spec.v renamed to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_spec.v