オープン
Define a typeclass for GO-space
good first issuet-topology
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブコントリビューションガイドあり
1 件のコメント1 件のリアクション0 人の担当者
Issue
オープン
Make `scripts/add_deprecations.sh` support additivised declarations
enhancementgood first issue
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブコントリビューションガイドあり
3 件のコメント1 件のリアクション0 人の担当者
オープン
Strict group homs are stable by `Prod.map`
enhancementgood first issuet-topology
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブコントリビューションガイドあり
8 件のコメント0 件のリアクション0 人の担当者
オープン
Add delaborator checking canonicity of instances
good first issue
おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルありリポジトリは今月もアクティブコントリビューションガイドあり
0 件のコメント0 件のリアクション0 人の担当者
オープン
The Gaussian as a Schwartz function
good first issuet-analysis
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブコントリビューションガイドあり
5 件のコメント0 件のリアクション0 人の担当者
オープン
Define `Asymptotics.IsSubpolynomial`
good first issuet-analysis
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブコントリビューションガイドあり
3 件のコメント0 件のリアクション0 人の担当者
オープン
Tracking Issue: Digraph Targets
good first issuet-combinatorics
おすすめ理由初心者向けラベルあり · リポジトリは今月もアクティブ
初心者向けラベルありリポジトリは今月もアクティブコントリビューションガイドあり
7 件のコメント1 件のリアクション2 人の担当者
オープン
Sperner's lemma
good first issuet-analysist-combinatorics
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブコントリビューションガイドあり
16 件のコメント0 件のリアクション0 人の担当者
オープン
Turn `compute_degree` into a simproc
good first issuet-meta
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブコントリビューションガイドあり
3 件のコメント1 件のリアクション0 人の担当者
オープン
Tracking Issue: Naming consistency
good first issuehelp-wantedplease-adopt
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブコントリビューションガイドあり
5 件のコメント2 件のリアクション0 人の担当者
オープン
Define the Hodge star operator
enhancementgood first issuehelp-wantedt-algebra
おすすめ理由初心者向けラベルあり · リポジトリは今月もアクティブ
初心者向けラベルありリポジトリは今月もアクティブコントリビューションガイドあり
2 件のコメント3 件のリアクション1 人の担当者
オープン
The Shapley-Folkman lemma
good first issuet-analysis
おすすめ理由初心者向けラベルあり · リポジトリは今月もアクティブ
初心者向けラベルありリポジトリは今月もアクティブコントリビューションガイドあり
11 件のコメント2 件のリアクション1 人の担当者
オープン
Rename `rpow_le_rpow`
good first issueplease-adopt
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブコントリビューションガイドあり
4 件のコメント0 件のリアクション0 人の担当者
オープン
Small TODOs to do!
good first issue
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブコントリビューションガイドあり
7 件のコメント7 件のリアクション0 人の担当者
オープン
Prove that inversion is discontinuous at the center
good first issuet-analysist-euclidean-geometryt-topology
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブコントリビューションガイドあり
4 件のコメント0 件のリアクション0 人の担当者
オープン
Add typeclasses for smooth `(· • ·)`
good first issuet-differential-geometry
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブコントリビューションガイドあり
1 件のコメント0 件のリアクション0 人の担当者
オープン
Extend basic API about `DomMulAct`
good first issue
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルありリポジトリは今月もアクティブコントリビューションガイドあり
1 件のコメント0 件のリアクション0 人の担当者