@sabataro
サバタロウ
0
89
Follow 11
Followers 3
Traces 4
未登録
未登録
未登録

所属組織

解説
大学数学以上
by
サバタロウ
at
2021年02月06日
Coq メモ
証明，Coq，#駆け出し何とかと繋がりたい
61
0
文献あり
問題
大学数学以上
by
サバタロウ
at
2020年11月26日
ダメットの法則
＃駆け出しエンジニアとつながり，＃今日の積み上げ，＃LGBT
7
0
問題
大学数学以上
by
サバタロウ
at
2020年11月26日
全順序における反射条件の冗長性
初心者向け，#MeToo，#病み垢さんとつながりたい
7
0
問題
大学数学以上
by
サバタロウ
at
2020年11月25日
合成関数
駆け出し冒険者とつながりたい，勉強垢とつながりたい，国民投票法改正案に広義します
8
0
問題
大学数学以上
by
サバタロウ
at
2020年11月25日
恒等関数
6
0