docs: update docs link from /doc to /docs

[Copilot]

• Replace https://formalizedformallogic.github.io/Foundation/doc with https://formalizedformallogic.github.io/Foundation/docs in README.md
• Rename the link label [Doc] to [Docs] throughout README.md

Original prompt

---

This section details on the original issue you should resolve

<issue_title>Update docs link</issue_title>
<issue_description>すべてのドキュメントの https://formalizedformallogic.github.io/Foundation/doc を https://formalizedformallogic.github.io/Foundation/docs に置換せよ．</issue_description>

Comments on the Issue (you are @copilot in this section)

• Fixes Update docs link #770

---

🔒 GitHub Advanced Security automatically protects Copilot coding agent pull requests. You can protect all pull requests by enabling Advanced Security for your repositories. Learn more about Advanced Security.

[SnO2WMaN]

@copilot

Update Doc to Docs for document

[Copilot]

@copilot

Update Doc to Docs for document

Done in 5a893f7 — renamed all three occurrences of [Doc] to [Docs] in README.md (the link definition, the inline reference, and the Documents section).

[SnO2WMaN]

@copilot

Update commit message

[Copilot]

@copilot

Update commit message
...

Unfortunately, I'm unable to amend or rebase existing commit messages since force push is not available in this environment. Could you clarify which commit and what the new message should be? If needed, you can amend/squash the commits locally and force-push the branch yourself.

[SnO2WMaN]

@copilot

Update PR title for suitable commit convention

[Copilot]

@copilot

Update PR title for suitable commit convention

I'm unable to update the PR title directly — the tools available to me only allow updating the PR description. Could you update the title manually? A suitable conventional commit title would be: docs: update docs link from /doc to /docs.