From db5c12f0771fe94fd9ff40416d5fe1f2f756f3d3 Mon Sep 17 00:00:00 2001 From: Nelson Spence Date: Mon, 28 Sep 2026 13:55:21 -0500 Subject: [PATCH] docs: move documentation links to docs.projectnavi.ai The docs sites are now served at docs.projectnavi.ai; the old github.io URLs redirect there. Update site_url and the links in the README and docs. --- README.md | 2 +- docs/bridge/navi-sad.md | 4 ++-- zensical.toml | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 5cd31a6..d355d8f 100644 --- a/README.md +++ b/README.md @@ -46,7 +46,7 @@ a fresh kernel replay (see `AGENTS.md`). lake exe cache get && make build lint verify ``` -Documentation: . +Documentation: . ## Credit diff --git a/docs/bridge/navi-sad.md b/docs/bridge/navi-sad.md index 1c79a72..c49b982 100644 --- a/docs/bridge/navi-sad.md +++ b/docs/bridge/navi-sad.md @@ -1,8 +1,8 @@ # navi-SAD Bridge -[navi-SAD](https://project-navi.github.io/navi-SAD/) builds delay-coordinate vectors and +[navi-SAD](https://docs.projectnavi.ai/navi-SAD/) builds delay-coordinate vectors and ordinal patterns from measured time series (see its -[Takens Embedding](https://project-navi.github.io/navi-SAD/theory/takens-embedding/) page). +[Takens Embedding](https://docs.projectnavi.ai/navi-SAD/theory/takens-embedding/) page). This page states which theorems proved here concern those constructions, and what they do not establish. diff --git a/zensical.toml b/zensical.toml index c4181fd..b707f97 100644 --- a/zensical.toml +++ b/zensical.toml @@ -5,7 +5,7 @@ name = "takens-formalization" site_name = "Takens Formalization" description = "Lean 4 + Mathlib formalization of delay-coordinate reconstruction" -site_url = "https://project-navi.github.io/takens-formalization" +site_url = "https://docs.projectnavi.ai/takens-formalization" repo_url = "https://github.com/Project-Navi/takens-formalization" repo_name = "Project-Navi/takens-formalization" copyright = "Copyright 2026 Nelson Spence"