docs(bridges): refresh cross-repo bridge status; bake in CNO Agda↔Coq↔Lean4 correspondence#64

hyperpolymath merged 1 commit into

mainhyperpolymath/echo-types:mainfrom

docs/cross-repo-bridge-status-sweep-2026-05-20hyperpolymath/echo-types:docs/cross-repo-bridge-status-sweep-2026-05-20Copy head branch name to clipboard