定理証明支援系
このトピックを指定するには
定理証明支援系
と入力
名前・画像を変更
Articles
3
Scraps
1
articles
Trending
Alltime
Latest
CoqのInductiveとDefinition
Emma Evans
5ヶ月前
・
3 min read
4
coqのandとorを含む命題
Emma Evans
5ヶ月前
・
2 min read
2
CoqのFixpointと帰納法を用いた証明
Emma Evans
5ヶ月前
・
1 min read
3