- Stars
- 219 stars (219 stars)
- Forks
- 45 forks (45 forks)
- Indexed issues
- 4 indexed issues (4 indexed issues)
- open beginner issues
- 4 open beginner issues (4 open beginner issues)
- Latest indexed
- Aug 15, 2026
- Last GitHub push
- Jul 22, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Dominant language
- Lean
- PR merge metrics
- PR metrics pending (PR metrics pending)
- Beginner labels
- help wantedgood first issue
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly labelRepository active this month
leanprover-community / ProofWidgets4 · #70 · Jul 15, 2024 · Lean · 219 stars
0 comments0 reactions0 assignees Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month
leanprover-community / ProofWidgets4 · #33 · Nov 8, 2023 · Lean · 219 stars
2 comments0 reactions0 assignees Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly labelRepository active this month
leanprover-community / ProofWidgets4 · #6 · Apr 13, 2023 · Lean · 219 stars
0 comments0 reactions0 assignees Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this month
leanprover-community / ProofWidgets4 · #4 · Apr 11, 2023 · Lean · 219 stars
1 comment0 reactions0 assignees 