定理証明

読み込み中です

ニコニコ大百科の記事は見つかりませんでした。

5:17

>
超未来言語 Gallina - yoshihiro503

2008/9/3

1,338

30

0

17
3:21

>
やあ、アLeanアルさんだよ #1 　

2024/3/1

611

12

17

2
7:05

>
定理証明支援系Lean 4導入手順【VOICEROID解説】

2023/5/21

501

36

33

3
9:29

>
きりたん気ままにLeanで証明：単射と全射【VOICEROID実況】

2022/5/15

749

36

33

3
9:44

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

2022/5/13

982

32

55

2
8:41

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

2022/5/7

1,685

80

87

15
2:14

>
定理証明器Coqの紹介

2007/10/14

3,003

51

1

31

定理証明

タグをニコニ広告する

関連タグ

数学 VOICEROIDファンの数学サイド演習問題バトル確率積分線形代数微分第2回ソフトウェアトーク理工サイド交流祭算数三角関数

ニコニコ大百科で調べる

ニコニコ大百科で調べる

他のサービスで探す

ニコニコ生放送ブロマガ