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

Beautiful, interactive visualizations of logical inference

ezyang/logitext は初心者に優しい?

ezyang/logitext への外部コントリビューターの PR が最近は少なく、どのくらいマージされるかはまだ言えません。 初心者向けのオープンな issue は今はありません。下の一覧に、このリポジトリのほかの issue があります。

スター
155
フォーク
12
オープンの初心者向け issue
0
索引済み issue
5
主要言語
UrWeb
ライセンス
BSD-3-Clause
最終 GitHub push
2026年9月12日
最新の索引
2026年9月20日
コントリビューションガイド
コントリビューションガイドがありません
行動規範
行動規範がありません
初心者向けラベル
初心者向けラベルは索引されていません
PR マージ指標
30日以内にマージされた PR はありません

ezyang/logitext にコントリビュートするには

  1. コントリビューションガイドはないので、README と最近マージされた PR をいくつか読んで、変更の出し方をつかみましょう。
  2. あなたのコントリビュートはプロジェクトの BSD-3-Clause ライセンスで公開されます。
  3. リポジトリをフォローすれば、新しい初心者向け issue が出たときにわかります。下のほかの issue も見てみましょう。
issue を読み込んでいます

誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示

  • Explain what syntax is allowed somewhere on the site
    オープン

    難易度 3/5 1〜2日 初心者へのやさしさ 35/100

    ezyang/logitext#7 ·

  • Feature request: eliminate duplicates in sequent lists
    オープン

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    ezyang/logitext#5 ·

  • Feature Request: Support for intuitionistic and classical Linear Logic
    オープン

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    ezyang/logitext#4 · コメント 2 件 ·

  • Intuitionistic version does not highlight proven theorems green
    オープン

    難易度 3/5 1〜2日 初心者へのやさしさ 35/100

    ezyang/logitext#3 ·

  • Strange behavior on Vacuous Quantification.
    オープン

    難易度 4/5 3〜5日 初心者へのやさしさ 25/100

    ezyang/logitext#2 · コメント 4 件 ·

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

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