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
/
5:17
D88EC7E8-E3FB-4F6D-A2CE-00F7A1C48C48@1x
Created with sketchtool.
ニコニコ動画で視聴
超未来言語 Gallina - yoshihiro503
ニコニコ動画で視聴
LLFuture
TechTalk
GALLINA
Coq
sm1276083
関数型言語
ocaml-nagoya
定理証明
LLFuture
TechTalk
GALLINA
Coq
sm1276083
関数型言語
ocaml-nagoya
定理証明
ニコニコ動画で視聴する>
svg/L1/icon/watch/arrow
Created with Sketch.
もっと見る
svg/L1/icon/watch/arrow
Created with Sketch.
閉じる
共有
超未来言語 Gallina - yoshihiro503
fb
line
https://nico.ms/sm4505364?ref=thumb_watch
リンクをコピー