GitHub / Seasawher issue stats
Total issues: 1,538
Total pull requests: 642
Merged pull request: 519
Average time to close issues: 20 days
Average time to close pull requests: 3 days
Average comments per issue: 0.32
Average comments per pull request: 0.34
Issues created
- lean-ja/lean-by-example: 1,154
- lean-ja/tactic-cheatsheet: 128
- seasawher/mdgen: 38
- Seasawher/lean-update: 26
- seasawher/free-math: 18
- seasawher/lean-book: 15
- yuma-mizuno/lean-math-workshop: 11
- seasawher/mk-exercise: 11
- oliver-butterley/lean-update: 10
- lean-ja/lean99: 9
- leanprover/lean-action: 9
- leanprover-community/lean4-metaprogramming-book: 8
- leanprover/lean4: 7
- leanprover/reservoir: 7
- aconite-ac/theorem_proving_in_lean4: 7
- leanprover-community/lean-update: 6
- seasawher/mathlib4-tactics: 5
- lecopivo/scientific-computing-lean: 5
- leanprover-community/lean4web: 4
- oliver-butterley/lean-update-action: 4
- lean-ja/fp-lean-ja: 3
- leanprover/theorem_proving_in_lean4: 3
- seasawher/seasawher: 3
- leanprover/verso: 3
- lumeland/theme-simple-blog: 2
- lean-ja/mathematics_in_lean_source: 2
- leanprover/fp-lean: 2
- lean-ja/lean-ja.github.io: 2
- getzola/zola: 2
- jorelali/mdbook-pagetoc: 2
- seasawher/mathlib4-help: 2
- lecopivo/scilean: 2
- seasawher/game-of-life: 2
- Seasawher/number-theory-with-lean: 2
- dwrensha/compfiles: 2
- leanprover-community/mathlib4: 1
- rust-unofficial/too-many-lists: 1
- lurk-lab/yatima: 1
- SquarePear/p5_commander: 1
- victorstanciu/dbv: 1
- lovettchris/naturalnumbers: 1
- seasawher/import-all: 1
- seasawher/preventcreatepublicrepo: 1
- arthurpaulino/lean2md: 1
- T-Brick/DateTime: 1
- codewars/runner: 1
- rzk-lang/rzk: 1
- leanprover-community/LeanSearchClient: 1
- julian/setup-lean: 1
- seasawher/neural-network-sms-text-classifier: 1
- 34j/best-of-lean4: 1
- eric-song-nop/eric-song-nop: 1
- leanprover-community/aesop: 1
- rust-lang/mdBook: 1
- asi1024/topprover-lean-example: 1
- seasawher/mathematics_in_lean_my_solutions: 1
- arthurpaulino/chrome-lean-unicode: 1
Pull requests created
- lean-ja/lean-by-example: 331
- seasawher/mdgen: 42
- lean-ja/tactic-cheatsheet: 40
- Seasawher/lean-update: 33
- seasawher/mk-exercise: 25
- leanprover-community/lean4-metaprogramming-book: 19
- oliver-butterley/lean-update: 17
- yuma-mizuno/lean-math-workshop: 14
- seasawher/mathlib4-tactics: 12
- seasawher/lean-book: 9
- seasawher/mathematics_in_lean_my_solutions: 8
- leanprover-community/lean-update: 8
- leanprover/lean-action: 8
- leanprover/lean4: 7
- lean-ja/lean99: 6
- lean-ja/fp-lean-ja: 4
- lecopivo/scilean: 4
- seasawher/concretesemantics.lean: 4
- seasawher/lean-quiz-template: 3
- arthurpaulino/lean2md: 3
- seasawher/seasawher: 3
- seasawher/mathlib4-help: 3
- Seasawher/lean-action: 2
- igrep/lean-workshop: 2
- 34j/best-of-lean4: 2
- leanprover-community/lean4web: 2
- dwrensha/compfiles: 2
- cmu-l3/ntptutorial-ii: 2
- aconite-ac/theorem_proving_in_lean4: 2
- seasawher/import-all: 2
- leanprover-community/batteries: 2
- ammkrn/type_checking_in_lean4: 1
- rust-lang-ja/book-ja: 1
- leanprover-community/mathlib-update-action: 1
- paulch42/lean-spec: 1
- Seasawher/lean-math-workshop: 1
- lean-ja/mathematics_in_lean_source: 1
- leanprover-community/aesop: 1
- Seasawher/lean99: 1
- ondanaoto/lean4_textbook: 1
- oliver-butterley/lean-update-action: 1
- Seasawher/lean4: 1
- lean-ja/zenn.dev: 1
- Seasawher/lean4-metaprogramming-book: 1
- leanprover-community/plausible: 1
- Paper-Proof/paperproof: 1
- lean-ja/lean-ja.github.io: 1
- lecopivo/scientific-computing-lean: 1
- avigad/mathematics_in_lean_source: 1
- leanprover-community/ProofWidgets4: 1
- Seasawher/fp-lean-ja: 1
- ondanaoto/IMO-formalization: 1
Maintainer
- lean-ja/lean-by-example: 1,485
- lean-ja/tactic-cheatsheet: 168
- seasawher/mdgen: 80
- Seasawher/lean-update: 59
- seasawher/mk-exercise: 36
- oliver-butterley/lean-update: 26
- seasawher/lean-book: 24
- seasawher/free-math: 18
- seasawher/mathlib4-tactics: 17
- lean-ja/lean99: 15
- leanprover-community/lean-update: 14
- seasawher/mathematics_in_lean_my_solutions: 9
- lean-ja/fp-lean-ja: 7
- seasawher/seasawher: 6
- seasawher/mathlib4-help: 5
Active Maintainer
- lean-ja/lean-by-example: 957
- Seasawher/lean-update: 59
- seasawher/mdgen: 29
- leanprover-community/lean-update: 14
- seasawher/lean-book: 12
- seasawher/mk-exercise: 6
- seasawher/mathlib4-help: 5
- seasawher/concretesemantics.lean: 4
- seasawher/mathlib4-tactics: 2
- oliver-butterley/lean-update: 2
- Seasawher/lean99: 1
- Seasawher/lean-action: 1
- seasawher/seasawher: 1
- lean-ja/lean99: 1
- leanprover-community/mathlib4: 1
Issue Author Associations
- Member (1,298, 84.40%)
- Owner (126, 8.19%)
- None (53, 3.45%)
- Contributor (44, 2.86%)
- Collaborator (17, 1.11%)
Pull Request Author Associations
- Member (384, 59.81%)
- Owner (151, 23.52%)
- Contributor (56, 8.72%)
- None (27, 4.21%)
- Collaborator (24, 3.74%)
Top Issue Labels
- 要調査 (54)
- メモ (53)
- タクティク (51)
- バグ・誤り・不備 (49)
- 本文 (48)
- コード例 (48)
- 開発 (44)
- 宣言的コマンド (39)
- バグ・誤り (39)
- enhancement (37)
- 型クラス (31)
- 補足情報 (27)
- 誤り (27)
- bug (24)
- 新規項目 (24)
Top Pull Request Labels
- toolchain-available (6)
- 宣言的コマンド (5)
- タクティク (5)
- codex (5)
- 誤り (5)
- enhancement (4)
- バグ・誤り (4)
- コード例 (3)
- documentation (3)
- メモ (3)
- 構文 (3)
- 補足情報 (3)
- 新規項目 (2)
- 開発 (2)
- LeanByExample移行 (2)