D88EC7E8-E3FB-4F6D-A2CE-00F7A1C48C48@1x
Created with sketchtool.
svg/L1/icon/watch/arrow
Created with Sketch.
関連動画
svg/L1/icon/watch/arrow
Created with Sketch.
関連動画
0:00
0:00
/
9:44
D88EC7E8-E3FB-4F6D-A2CE-00F7A1C48C48@1x
Created with sketchtool.
ニコニコ動画で視聴
ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #2【定理証明支援系】
ニコニコ動画で視聴
数学
Lean
定理証明
定理証明支援系
VOICEROIDファンの数学サイド
VOICEROID実況プレイ
数学
Lean
定理証明
定理証明支援系
VOICEROIDファンの数学サイド
VOICEROID実況プレイ
ニコニコ動画で視聴する＞
svg/L1/icon/watch/arrow
Created with Sketch.
もっと見る
svg/L1/icon/watch/arrow
Created with Sketch.
閉じる
共有
ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #2【定理証明支援系】
fb
line
https://nico.ms/sm40460373?ref=thumb_watch
リンクをコピー
