反馈与建议

告诉我们遇到的问题，
或你希望改进的地方。

反馈提交到公开的 GitHub Issues，需要登录 GitHub 账号。

请勿包含 API Key、访问令牌或个人敏感信息。

查看已有反馈直接在 GitHub 提交

TheoremOS 的 Lean 工作区，显示尚未提交的 Mathlib 草稿。 — TheoremOS · Lean 工作区

你可以在 GitHub 提交反馈，并在同一条 Issue 中跟进回复。

前往 GitHub 提交