Typo errors in the sequent calculus and natural deduction sections
まだ誰も着手していません。
評価
- 難易度
- 2/5
- 見積もり時間
- 1〜3時間
- 初心者へのやさしさ
- 70/100
- issue の種類
- ドキュメント
- 明瞭さ
- おおむね明確
- 活発さ
- 活発
- 技術スタック
- latex
調査の方向性
issue に挙げられた3か所から始めてください。content/first-order-logic/sequent-calculus/soundness.tex の157行目と288行目付近、および content/first-order-logic/natural-deduction/proving-things.tex の133行目付近です。行番号は固定されたコミットを指しているため、現在のファイルで対応する文面を探してください。編集する前に、リポジトリのマクロ定義で \Sequent を確認し、規則ラベルの慣習 \Intro も確認してください。最初の修正は解釈の余地があるためです。3つの箇所が修正され、規則ラベルが issue に記述された除去規則と一致したら完了です。
索引モデルが issue の本文から書いたものです。
説明
First typo:
Typo location:
https://github.com/OpenLogicProject/OpenLogic/blob/1e960beff9ed7835bf3e3f1335e21af3439cd107/content/first-order-logic/sequent-calculus/soundness.tex#L157
What is the typo:
Writing the contexts rather than the entire sequent
Proposed correction:
The symbols should be preceded by the conjunction and comma, or simply the entire sequent should be theta and xi
Second typo:
Typo location:
https://github.com/OpenLogicProject/OpenLogic/blob/1e960beff9ed7835bf3e3f1335e21af3439cd107/content/first-order-logic/sequent-calculus/soundness.tex#L288
What is the typo:
wrong symbol ($\setminus$) for the sequent symbol
Proposed correction:
The symbol should be $\Rightarrow$ or in this doc $\Sequent$
Third typo:
Typo location:
https://github.com/OpenLogicProject/OpenLogic/blob/1e960beff9ed7835bf3e3f1335e21af3439cd107/content/first-order-logic/natural-deduction/proving-things.tex#L133
What is the typo:
The symbol "\Intro{\lfalse}"
Proposed correction:
It should be ~elim not "Intro $\bot$" which is here written as "\Intro{\lfalse}", and "\Intro{\lfalse}" is not a rule used anywhere else in the repo as far as I can tell
- 主要言語
- TeX
- スター
- 1.4k
- フォーク
- 291
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
OpenLogicProject/OpenLogic のほかの issue
-
難易度 1/5 1時間未満 初心者へのやさしさ 65/100
OpenLogicProject/OpenLogic#339 · コメント 1 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 50/100
OpenLogicProject/OpenLogic#436 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 68/100
OpenLogicProject/OpenLogic#435 · コメント 1 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 30/100
OpenLogicProject/OpenLogic#425 · コメント 1 件 ·
-
Improve docsオープン
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
OpenLogicProject/OpenLogic#390 ·
OpenLogicProject/OpenLogic の issue をすべて見る
似ている issue
-
good first issue
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
chipsalliance/caliptra-sw#4311 ·
メンテナーはふだん 2 日以内に返信
-
[scanner] docs: add/sightings help and README claim a per-project auto-learning store, but the CLI only ever uses ~/.rationguard対応中かも @hivecommons-hive が今日担当しました。 オープンagent/scanner help wanted hive/claimed-by-scanner stage/010-actionable
難易度 1/5 1〜3時間 初心者へのやさしさ 88/100
hivecommons/rationguard#292 · コメント 2 件 ·
メンテナーはふだん 1 日以内に返信
-
kind:bug up-for-grabs
難易度 1/5 1時間未満 初心者へのやさしさ 82/100
ForNeVeR/Fabricator#115 ·
メンテナーはふだん 1 日以内に返信
-
[Documentation]: Link externally maintained ContextFetch reader and tool from the integrations pageオープン
難易度 1/5 1〜3時間 初心者へのやさしさ 72/100
run-llama/llama_index#23612 ·
メンテナーはふだん 1 日以内に返信