開放
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 位負責人