熊本/京都/神奈川/Coq/SSReflect/
Preferred Networks
機械学習工学研究会(MLSE)
Proof Summit
主催イベントはありません。
フォローはいません。
フォロワーはいません。