Zenn
定理証明支援系
このトピックを指定するには
定理証明支援系
と入力
RSS
表示を修正
Articles
3
Scraps
1
articles
Trending
Alltime
Latest
👻
coqのandとorを含む命題
Emma Evans
2020/09/20
3
👻
CoqのInductiveとDefinition
Emma Evans
2020/09/19
4
👻
CoqのFixpointと帰納法を用いた証明
Emma Evans
2020/09/19
3