Repository Issues

leanprover-community/physlib

A project to digitalise results from physics into Lean.

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

Issue

5 件のオープンな索引 Issue

オープン
Remove `erw`s
good first issuehelp-wanted
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありコントリビューションガイドあり

leanprover-community / physlib · #385 · 2025/03/10 · Lean · 642 個のスター

1 件のコメント0 件のリアクション0 人の担当者
オープン
Multigoal linter
good first issuehelp-wanted
おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルありコントリビューションガイドあり

leanprover-community / physlib · #353 · 2025/02/27 · Lean · 642 個のスター

0 件のコメント0 件のリアクション0 人の担当者
オープン
Workflow alignment
WIPenhancementgood first issuehelp-wanted
おすすめ理由コメントがまだない · 初心者向けラベルあり
コメントがまだない初心者向けラベルありコントリビューションガイドあり

leanprover-community / physlib · #282 · 2025/01/20 · Lean · 642 個のスター

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