Repository Issues

leanprover-community/ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

GitHub で見る
Stars
 (219 個のスター)
Forks
 (45 件のフォーク)
Indexed issues
 (4 件の索引済み Issue)
open beginner issues
 (4 件のオープンな初心者向け Issue)
最終索引
2026/08/15
最終 GitHub push
2026/07/22
ライセンス
Apache License 2.0
コントリビューションガイド
コントリビューションガイドはありません
行動規範
行動規範はありません
主要言語
Lean
PR merge metrics
 (PR metrics pending)
初心者向けラベル
help wantedgood first issue

Issue

4 件の索引済み Issue

オープン
macOS build deadlocks nondeterministically
bughelp wanted
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ

leanprover-community / ProofWidgets4 · #33 · 2023/11/08 · Lean · 219 個のスター

2 件のコメント0 件のリアクション0 人の担当者
オープン
Transparent selection of `Expr` presenters
enhancementhelp wanteduser interface
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブ

leanprover-community / ProofWidgets4 · #4 · 2023/04/11 · Lean · 219 個のスター

1 件のコメント0 件のリアクション0 人の担当者