Coq
新着記事
Coqで集合論（集合の定義）
プログラミング
Coq
集合論
43.40
ALIS
13.20
ALIS
【Coq】掛け算の交換法則を証明してみた。
プログラミング
Coq
定理証明支援系
掛け算の順番
コミュ障は遂に説明することを放棄した
31.82
ALIS
22.10
ALIS
hello worldはもう古い！自然数の定義からだろ！
プログラミング
関数型言語
haskell
Agda
Coq
33.79
ALIS
135.00
ALIS
