coq
このトピックを指定するには
coq
と入力
RSS
表示を修正
Articles
13
Books
1
Scraps
3
scraps
Trending
Alltime
Latest
コンパイラの正しさの証明について勉強するログ
Closed
nozo
2021/02/11にクローズ
#
coq
11
Coqに入門してみる
Open
Sphendami
5ヶ月前にコメント追加
#
coq
10
CoqでZFC
Open
nyolmol
2021/09/02にコメント追加
#
公理的集合論
#
集合論
#
数学
#
coq
1
