Hacktoberfest 2026:维护者为十月标记出来的 issue,仍然开放、适合新手。 浏览 Hacktoberfest issue

Explain formulas in SOL

未关闭
#127 0 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

还没有人认领这个 Issue。

评估

难度
3/5
预计耗时
1-2 天
新手友好度
48/100
Issue 类型
文档
描述清晰度
基本清楚
活跃度
停滞
技术栈
tex
领域
documentation

调研方向

定位 SOL 部分的 TeX 源文件,并搜索标题或标签“Prove Props in sol:set:crd.”。阅读周围的复杂公式,并添加通俗易懂的翻译或解释,说明它们表达的内容;当该部分的公式对读者来说更加清晰时,工作就完成了。

由索引模型根据 Issue 内容生成。

描述

The part on SOL contains a number of complex formulas. Add some translations or explanations to make clearer how they express what they express.

Prove Props in sol:set:crd

主要语言
TeX
星标
1.4k
派生
289
PR 合并指标
30 天内没有已合并 PR

环境准备

这个项目没有提供开发容器、Dockerfile 或贡献指南,环境需要你自己搭建:先看它的 README,通用步骤见我们的新手贡献指南。

从这里开始

  1. 先读完整个 Issue,再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库,在一个分支上完成修改。
  4. 提交 Pull Request,并在描述里引用这个 Issue 编号。

OpenLogicProject/OpenLogic 的其他 Issue

查看 OpenLogicProject/OpenLogic 的全部 Issue

相似的 Issue

更多 Documentation Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。