Open
feature request: widget to display the docstring of the current lemma
enhancementhelp wanted
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Repository Issues
leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Issues
Open
macOS build deadlocks nondeterministically
bughelp wanted
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
2 comments0 reactions0 assignees
Open
Add Speedscope component for visualizing profiler flamegraphs
enhancementgood first issuehelp wanted
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
Transparent selection of `Expr` presenters
enhancementhelp wanteduser interface
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
1 comment0 reactions0 assignees