Convert formulas to OLP commands in set-theory
まだ誰も着手していません。
評価
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 初心者へのやさしさ
- 35/100
- issue の種類
- 機能追加
- 明瞭さ
- おおむね明確
- 活発さ
- 停滞
- 技術スタック
- tex
- 領域
- content, documentation
調査の方向性
まず、集合論の資料と、\lforall および \lexists の定義または使用箇所を見つけます。issue で説明されている式の規約を確認します。これには !A、ガード付き量化子、同一性を表す \eq、括弧で囲まれた原子引数が含まれます。資料がこれらの規約に従い、ガード付きコマンドが指定された出力を生成すれば、作業は完了です。
索引モデルが issue の本文から書いたものです。
説明
Material from Tim Button in the set-theory part contains formulas. These have formulas hardcoded as \phi instead of !A etc, use \exists and \forall instead of \lexists and \lforall, don't use \eq for identity, and in some cases have atomic formulas without parentheses around arguments. To fix this, will need ability of \lforall and \lexists to have guards, e.g., \lforall(x \in \alpha)[!A(x)] should produce (\forall x \in \alpha), !A(x).
- 主要言語
- TeX
- スター
- 1.4k
- フォーク
- 289
- 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
-
Add: Cbeebies PL SDオープンapproved check:passed streams:add
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
iptv-org/iptv#54525 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 1/5 1時間未満 初心者へのやさしさ 69/100
timqian/chinese-independent-blogs#2235 ·
メンテナーはふだん 1 日以内に返信
-
correction revision
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
acl-org/acl-anthology#10192 ·
メンテナーはふだん 1 日以内に返信
-
難易度 1/5 1時間未満 初心者へのやさしさ 95/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100
github/awesome-copilot#4635 ·
メンテナーはふだん 2 日以内に返信