开放
feature request: widget to display the docstring of the current lemma
enhancementhelp wanted
为什么推荐暂无负责人 · 暂无评论
暂无负责人暂无评论带有初学者友好标签仓库本月活跃
0 条评论0 个反应0 位负责人
议题
开放
macOS build deadlocks nondeterministically
bughelp wanted
为什么推荐暂无负责人 · 带有初学者友好标签
暂无负责人带有初学者友好标签仓库本月活跃
2 条评论0 个反应0 位负责人
开放
Add Speedscope component for visualizing profiler flamegraphs
enhancementgood first issuehelp wanted
为什么推荐暂无负责人 · 暂无评论
暂无负责人暂无评论带有初学者友好标签仓库本月活跃
0 条评论0 个反应0 位负责人
开放
Transparent selection of `Expr` presenters
enhancementhelp wanteduser interface
为什么推荐暂无负责人 · 带有初学者友好标签
暂无负责人带有初学者友好标签仓库本月活跃
1 条评论0 个反应0 位负责人