ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #1【定理証明支援系】 - ニコニコ動画

0:00

0:00/8:41

ニコニコ動画で視聴

共有

ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #1【定理証明支援系】

https://nico.ms/sm40432561?ref=thumb_watch