Seven localized source corrections found during translation QA
还没有人认领这个 Issue。
评估
- 难度
- 3/5
- 预计耗时
- 1-2 天
- 新手友好度
- 68/100
- Issue 类型
- 文档
- 描述清晰度
- 描述清楚
- 活跃度
- 冷清
- 技术栈
- latex, tex
- 领域
- content, documentation
调研方向
首先，根据 master 提交 1e960beff9ed7835bf3e3f1335e21af3439cd107 和翻译依据 9620cc7，审查所引用的七个 .tex 文件及行范围。检查列出的每一项措辞、标点、公式和记号修正，同时确认这些发现未被 #432、#433 或其台账涵盖。所有七项源质量发现均已由 maintainer 审查并修复或 dispositioned，即视为完成。
由索引模型根据 Issue 内容生成。
描述
Hello — while checking complete translation targets against the English source, I found seven small, high-confidence source defects. I verified each against current master at 1e960beff9ed7835bf3e3f1335e21af3439cd107 as well as the frozen translation authority 9620cc7.
This list deliberately excludes everything already raised in #432, #433, or the findings ledger linked from #432.
-
content/proof-theory/proof-search/tableaux.tex:29
shows that would show that→would show that(or simplyshows that). -
content/second-order-logic/metatheory/second-order-arithmetic.tex:41–42
\Domain{M})$.→\Domain{M}$).The parenthesis belongs to the surrounding “i.e.” clause, not inside the formula. -
content/second-order-logic/metatheory/undecidability-and-axiomatizability.tex:33
$\Sat{M}{!P \lif !A$}.→$\Sat{M}{!P \lif !A}$.This closes the second argument of\Satbefore math mode ends. -
content/set-theory/ord-arithmetic/using-addition.tex:61
Insert the missing=:$\setrank{A \times B} = \max(\setrank{A}, \setrank{B}) \ordplus 2$. -
content/first-order-logic/tableaux/provability-consistency.tex:122
On the left left side→On the left side. -
content/sets-functions-relations/size-of-sets/non-enumerability-alt.tex:135
iff if→iff. -
content/proof-theory/sequent-calculus/invertibility.tex:331,366,372
At line 331,\RightR{\lexists}→\RightR{\lforall}, since the displayed principal formula is universal. At lines 366 and 372,!B→!B(t), matching the existential-rule premise at line 360.
These are source-quality notes for maintainer review; no upstream endorsement of any translation is implied.
- 主要语言
- TeX
- 星标
- 1.4k
- 派生
- 289
- PR 合并指标
- 30 天内没有已合并 PR
环境准备
这个项目没有提供开发容器、Dockerfile 或贡献指南，环境需要你自己搭建：先看它的 README，通用步骤见我们的新手贡献指南。
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
OpenLogicProject/OpenLogic 的其他 Issue
-
难度 1/5 1 小时以内 新手友好度 65/100
OpenLogicProject/OpenLogic#339 · 1 条评论 ·
-
难度 4/5 3-5 天 新手友好度 50/100
OpenLogicProject/OpenLogic#436 ·
-
难度 5/5 一周以上 新手友好度 30/100
OpenLogicProject/OpenLogic#425 · 1 条评论 ·
-
Improve docs未关闭
难度 5/5 一周以上 新手友好度 25/100
OpenLogicProject/OpenLogic#390 ·
-
难度 4/5 3-5 天 新手友好度 30/100
OpenLogicProject/OpenLogic#389 · 1 条评论 ·
查看 OpenLogicProject/OpenLogic 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 70/100
slavakurilyak/awesome-ai-agents#710 ·
维护者通常 1 天内回复
-
Edit:未关闭check:failed streams:edit
难度 2/5 1-3 小时 新手友好度 60/100
维护者通常 1 天内回复
-
priority: medium
难度 2/5 1-3 小时 新手友好度 65/100
lapanti/lavanti.fi#1565 · 2 条评论 ·
维护者通常 1 天内回复
-
documentation
难度 1/5 1 小时以内 新手友好度 88/100
维护者通常 1 天内回复
-
documentation
难度 1/5 1 小时以内 新手友好度 88/100
githubnext/gh-aw-workshop#4242 ·
维护者通常 1 天内回复