Hacktoberfest 2026:メンテナが10月に向けて印を付けた、オープンで初心者向けの issue。 Hacktoberfest の issue を見る

Explain formulas in SOL

オープン
#127 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度
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. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

OpenLogicProject/OpenLogic のほかの issue

OpenLogicProject/OpenLogic の issue をすべて見る

似ている issue

Documentation の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。